HTTPS SSH

macrotypes Build Status Scribble Docs

A Racket language for creating typed embedded DSLs

Installation

  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).

Tests

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/README.md for language reuse information

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