GitHub repository: mflatt/shplait
Primary language: Racket
Created: 2023-07-05T18:59:46Z
Description: Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation