suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add main readme

Browse Source
This commit is contained in:
Stephen Chang 2016-03-23 12:11:03 -04:00
parent 94a286fe7d
commit a6275ff568
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
README.md Normal file
View File

@ -0,0 +1,11 @@
- all languages from the paper are in `tapl/` directory
- see `tapl/README.md` for language reuse information
- tests are in `tapl/tests/` directory
- run all calculi tests with `racket tapl/tests/run-all-tests.rkt`
- mlish language is in `tapl/mlish.rkt`
- mlish tests are in `tapl/tests/mlish/`
- run all mlish tests with `racket tapl/tests/run-all-mlish-tests.rkt`