From df17382dd97ad473b24a0ba807b93c192907acdd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ignas=20Vy=C5=A1niauskas?= Date: Tue, 3 Mar 2015 20:59:41 +0200 Subject: [PATCH] Fix spelling mistake --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: