Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
28 lines (14 sloc) 964 Bytes

macrotypes Build Status Scribble Docs

A Racket language for creating typed embedded DSLs


  1. clone the repo
  2. cd into repo root dir
  3. raco pkg install --auto turnstile/

Alternatively, raco pkg install --auto turnstile installs from the Racket package server

Requires Racket v7.0 or later (with the new expander).


To run the entire test suite: raco test --drdr -p turnstile

Other notes

  • all languages from the paper are in implemented with both Racket syntax (in macrotypes-examples/) and Turnstile syntax (in turnstile-examples/)

  • see macrotypes-examples/macrotypes/examples/ for language reuse information

  • tests are in macrotypes-tests/ and turnstile-tests/ directories

You can’t perform that action at this time.