Agda home page. http://www.cs.chalmers.se/ ~catarina/agda (1999)

by Catarina Coquand