hub.darcs.net :: ulfnorell

ulfnorell's repositories

• Agda — Agda is a dependently typed functional programming language. (http://wiki.portal.chalmers.se/agda)