/DependentTalk

Dependently typed programming in Mana

MIT LicenseMIT

Stargazers