Skip to content

stchang/macrotypes

Repository files navigation

Turnstile+ Build Status Scribble Docs

A Racket-based framework for creating extensible and reusable typed languages.

  • create typed (Racket #lang) DSLs (in the same way as plain #langs)
  • prototype new type system features, modularly

Installation

(Requires Racket v7.0 or later.)

Install Option 1: Via Racket package server

raco pkg install --auto turnstile

Install Option 2: Manual

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

Examples and Tests

  1. Install the examples and tests (skip this step if installed via package server):

raco pkg install --auto rackunit-macrotypes-lib/ turnstile-example/ turnstile-test/

  1. Run the test suite: raco test --drdr -p turnstile-test

Other notes

About

No description or website provided.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages