Initial commit
Initial commit of Redex model, tests, and test automation
Ignore scratch files and generated files
Sort exports
Improve definitions of store-top? and top?; add tests
Bug fix suggested by Chung-chieh Shan: combine stores *after* rename.
Write a proper README
Merge branch 'master' of github.com:lkuper/lambdapar-redex
A round of README revisions
Rename `reify` language form to `convert`
Remove needless subscripts from the grammar
Clean up and edit comments
Specialize language to `natural` instead of just `number`
Allow arbitrary computation inside `get` and `put` expressions
Minor README edit
Edit and link-ify README
Correct typo in README
Correct `store-top?` and store grammar to match that in the paper
Correct typo in README
Initial commit