classy-lc. Modular lambda calculus using Backpack and prisms

github.com/LightAndLight/classy-lc
by @LightAndLight

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.