Church-style System F with definitions in Redex.
Primary LanguageRacket
No issues in this repository yet.