From efcf8c1f97c929ba86353ac45805b64d675f452f Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Thu, 5 Feb 2015 02:39:25 -0500 Subject: [PATCH] Typo fixes --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7b761ef..ea70ba9 100644 --- a/README.md +++ b/README.md @@ -22,8 +22,8 @@ or worse. Open up `stlc.rkt` to see an example of what advanced meta-programming can let you do. Open up `oll.rkt` to see the implementation of the meta-programs used to -enable `stlc.rkt`, including the parsers for BNF syntax, inference rule -relation syntax, and Coq and LaTeX generators. +enable `stlc.rkt`, including the parsers for BNF syntax and inference rule +syntax, and Coq and LaTeX generators. Open up `proofs-for-free.rkt` to see an implementation of the translation defined in [Proofs for Free](http://staff.city.ac.uk/~ross/papers/proofs.html) as a meta-program.