macrotypes /

Filename Size Date modified Message
18 B
547 B
862 B
242 B

macrotypes Build Status Scribble Docs

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/ 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

  • requires Racket v6.6 or later (or preserved stx props)