/turnstile-lc

Minimal example of a type system implemented with macros in Racket

Primary LanguageRacket

Watchers