Dependently typed programming in Mana
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE.md
README.md
e0.mana
e1.mana
e2.mana
e3.mana
list.mana
main.mana
printf.mana
talk.mana
vect.mana

README.md

A few examples of dependently typed programming in Mana.