diff --git a/README.md b/README.md new file mode 100644 index 0000000..f0a01f3 --- /dev/null +++ b/README.md @@ -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` \ No newline at end of file