/turnstile-lc

Minimal example of a type system implemented with macros in Racket

Primary LanguageRacket

turnstile-lc

A minimal example of a type system implemented with macros in Racket.