From 0bb4dbbed2f0f753bff566aa65a7c3204befc239 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 28 Jan 2015 20:19:25 -0500
Subject: [PATCH 1/4] Fixed README indentation

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 7b841ad..a3127be 100644
--- a/README.md
+++ b/README.md
@@ -7,5 +7,5 @@ meta-programming.
 
 > Noun
 > cur (plural curs)
-> >  1. (archaic) A mongrel or inferior dog.
-> >  2. (archaic) A detestable person.
+> 1. (archaic) A mongrel or inferior dog.
+> 2. (archaic) A detestable person.

From fc93df8e404ec3f049e00bdd05265b2573b6f74e Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 28 Jan 2015 23:42:55 -0500
Subject: [PATCH 2/4] Tweaking the README

---
 README.md | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index a3127be..26d5690 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,10 @@ CIC under Racket. A language with static dependent-types and dynamic
 types, type annotations and parenthesis, theorem proving and
 meta-programming.
 
-> Noun
-> cur (plural curs)
-> 1. (archaic) A mongrel or inferior dog.
-> 2. (archaic) A detestable person.
+```
+Noun
+cur (plural curs)
+
+1. (archaic) A mongrel or inferior dog.
+2. (archaic) A detestable person.
+```

From 8396165665f2715f0153fa40e63846230bd84f24 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 28 Jan 2015 23:45:23 -0500
Subject: [PATCH 3/4] 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.
 
 ```

From ec9502606664110fab6187c8820b50bc28960cfa Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Thu, 29 Jan 2015 22:44:30 -0500
Subject: [PATCH 4/4] Renamed kernel to curnel. An important pun.

---
 example.rkt                       | 2 +-
 nat.rkt                           | 2 +-
 oll.rkt                           | 2 +-
 proofs-for-free-v2.rkt            | 2 +-
 cur-redex.rkt => redex-curnel.rkt | 0
 sugar.rkt                         | 2 +-
 6 files changed, 5 insertions(+), 5 deletions(-)
 rename cur-redex.rkt => redex-curnel.rkt (100%)

diff --git a/example.rkt b/example.rkt
index c275f3a..52bfaaa 100644
--- a/example.rkt
+++ b/example.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 
 ;; Use racket libraries over your dependently typed code!?!?
 ;; TODO: actually, I'm not sure this should work quite as well as it
diff --git a/nat.rkt b/nat.rkt
index c1bc774..a45e485 100644
--- a/nat.rkt
+++ b/nat.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 (require "sugar.rkt")
 
 (data nat : Type
diff --git a/oll.rkt b/oll.rkt
index 0e5ed9f..0a434e7 100644
--- a/oll.rkt
+++ b/oll.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 ;; OLL: The OTT-Like Library
 (require "sugar.rkt" "nat.rkt")
 
diff --git a/proofs-for-free-v2.rkt b/proofs-for-free-v2.rkt
index 6973052..1e24160 100644
--- a/proofs-for-free-v2.rkt
+++ b/proofs-for-free-v2.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 ;; Ignore this file.
 (require rackunit racket/trace (for-syntax racket/syntax))
 
diff --git a/cur-redex.rkt b/redex-curnel.rkt
similarity index 100%
rename from cur-redex.rkt
rename to redex-curnel.rkt
diff --git a/sugar.rkt b/sugar.rkt
index b280f1d..12482bf 100644
--- a/sugar.rkt
+++ b/sugar.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 (provide ->
          ->*
          forall*