From a6275ff568bf090d5301839ee898fac194b7f7ab Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 23 Mar 2016 12:11:03 -0400 Subject: [PATCH] add main readme --- README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 README.md 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