Agda is a dependently typed functional programming language. Read more on [http://www.cs.chalmers.se/~ulfn/Agda the official wiki].


[wiki:TracWelcome Getting started with Trac]