/system-f-redex

Church-style System F with definitions in Redex.

Primary LanguageRacket

Stargazers