hub.darcs.net :: np

np's repositories

• Agda — Agda is a dependently typed functional programming language. (fork of ulfnorell's Agda)  (http://wiki.portal.chalmers.se/agda)
• Agda-TelescopingLet — Agda is a dependently typed functional programming language. (fork of np's Agda)  (http://wiki.portal.chalmers.se/agda)