Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
Primary LanguageRacketMIT LicenseMIT
No issues in this repository yet.