suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed typo in README

Browse Source
This commit is contained in:
William J. Bowman 2015-04-15 22:57:48 -04:00
parent 61bdf8f5d4
commit 063af1fd82
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -16,7 +16,7 @@ cur (plural curs)
Getting started 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 of time. Otherwise, the type-checker may require exponential time
or worse. or worse.