/bidir-typeck

Minimal example of bidirectional type checking in Racket

Primary LanguageRacket

Watchers