Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@JoeyEremondi
JoeyEremondi committed Jun 26, 2019
1 parent 9e097b8 commit 482b1d3
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,4 @@ Relevant files:
* `examples.rkt`: similar examples, but using Church-encodings. This file is pretty slow to compile and run.
* `GDTL/main.rkt`: The Racket macros implementing the main syntax of the language
* `GDTL/lang_simple.rkt`: The Redex model containing the bulk of the implementation of the language. This closely matches the definitions from the paper, though some parts have been hand-implemented for efficiency.
* `lang_simple.ott`: The Ott source used to generate the Redex model. Requires a [custom fork of Ott](https://github.com/JoeyEremondi/ott/tree/redexFixes).

0 comments on commit 482b1d3

Please sign in to comment.