www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

README.md (850B)

      1 # macrotypes [![Build Status](https://travis-ci.org/stchang/macrotypes.svg?branch=master)](https://travis-ci.org/stchang/macrotypes) [![Scribble Docs](https://img.shields.io/badge/Docs-Scribble%20-blue.svg)](http://docs.racket-lang.org/turnstile/index.html)
      2 
      3 A Racket language for creating typed embedded DSLs
      4 
      5 `raco pkg install turnstile`
      6 
      7 - all languages from the paper are in implemented with both Racket syntax (in `macrotypes/examples/`) and Turnstile syntax (in `turnstile/examples/`)
      8 
      9 - see `macrotypes/examples/README.md` for language reuse information
     10 
     11 - tests are in `macrotypes/examples/tests/` and `turnstile/examples/tests/` directories
     12 
     13 - run all tests (from test directory) with `racket run-all-tests.rkt`
     14 
     15 - run just mlish tests (from test directory) with `racket run-all-mlish-tests.rkt`
     16 
     17 - running tests require Racket v6.5 or later