Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
Primary LanguageRacketMIT LicenseMIT