Minimal example of bidirectional type checking in Racket
Primary LanguageRacket
No issues in this repository yet.