From 063af1fd821f76056e123f146f53cf06ebb7f0d9 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Wed, 15 Apr 2015 22:57:48 -0400 Subject: [PATCH] Fixed typo in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2bb701a..dd7e2ea 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ cur (plural curs) Getting started =============== -Requires redex-lib version 1.6 if you want answer in a reasonable amount +Requires redex-lib version 1.6 if you want answers in a reasonable amount of time. Otherwise, the type-checker may require exponential time or worse.