Version 5 (modified by ulfn, 6 years ago)

--

Agda is a dependently typed functional programming language. Read more on the official wiki.

Getting started with Trac