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

update readme with new dir structure

Browse Source
This commit is contained in:
Stephen Chang 2016-07-06 15:49:40 -04:00
parent d59c510941
commit bdc5db67f0
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@ -1,13 +1,9 @@
- all languages from the paper are in `tapl/` directory
- all languages from the paper are in implemented with both Racket syntax (in `macrotypes/examples/`) and Turnstile syntax (in `turnstile/examples/`)
- see `tapl/README.md` for language reuse information
- see `macrotypes/examples/README.md` for language reuse information
- tests are in `tapl/tests/` directory
- tests are in `macrotypes/examples/tests/` and `turnstile/examples/tests/` directories
- run all calculi tests with `racket tapl/tests/run-all-tests.rkt`
- run all tests (from test directory) with `racket run-all-tests.rkt`
- mlish language is in `tapl/mlish.rkt`, to make it easier to reuse other langs
- mlish tests are in `tapl/tests/mlish/`
- run all mlish tests with `racket tapl/tests/run-all-mlish-tests.rkt`
- alternate syntax implementations is in `define-typed-syntax` branch
- run just mlish tests (from test directory) with `racket run-all-mlish-tests.rkt`