From b0e350885a4b78589066f6ff6c38fd8fd0b3573f Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Wed, 28 Jan 2015 23:45:23 -0500 Subject: [PATCH] Typo in the README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 26d5690..fd85244 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ cur === CIC under Racket. A language with static dependent-types and dynamic -types, type annotations and parenthesis, theorem proving and +types, type annotations and parentheses, theorem proving and meta-programming. ```