lambda-pi. My hobby implementation of dependent-type system

github.com/konn/lambda-pi
by @konn

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.