yagi-lang. Yagi is a toy language for understanding dependent type theory!

github.com/benrbray/yagi-lang
by @benrbray

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.