diff --git a/README.md b/README.md index c9bf320..787da17 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ Idris Empty Code Generator -------------------------- -This is an code non-generator for Idris. That is, it's a project which builds +This is a code non-generator for Idris. That is, it's a project which builds an idris back end which doesn't actually do anything. You can use this as a starting point for a real back end, by: