Minimal example of bidirectional type checking in Racket
Primary LanguageRacket
A minimal example of bidirectional type checking in Racket.