benrbray / yagi-lang

Yagi is a toy language for understanding dependent type theory!

Geek Repo

Github PK Tool