Dependently typed programming in Mana
MIT LicenseMIT
A few examples of dependently typed programming in Mana.