mflatt / shplait

Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
16Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for shplait