Go to file

Stephen Chang 84108c7300 start some eq tests; fix dep-ind (in dep-ind-fixed) so indices can depend on params		2017-09-19 16:03:07 -04:00
macrotypes	add nat tests; start peano nums; nat-ind not working	2017-07-26 15:39:07 -04:00
turnstile	start some eq tests; fix dep-ind (in dep-ind-fixed) so indices can depend on params	2017-09-19 16:03:07 -04:00
.gitignore	add .gitignore	2015-09-21 17:54:07 -04:00
.travis.yml	fix travis script again	2017-01-26 16:28:29 -05:00
info.rkt	completely separate type and kind api, etc; generalize type environment	2017-02-08 13:07:24 -05:00
README.md	add travis script	2017-01-26 13:19:43 -05:00

macrotypes

A Racket language for creating typed embedded DSLs

raco pkg install turnstile

all languages from the paper are in implemented with both Racket syntax (in macrotypes/examples/) and Turnstile syntax (in turnstile/examples/)
see macrotypes/examples/README.md for language reuse information
tests are in macrotypes/examples/tests/ and turnstile/examples/tests/ directories
run all tests (from test directory) with racket run-all-tests.rkt
run just mlish tests (from test directory) with racket run-all-mlish-tests.rkt
running tests require Racket v6.5 or later