Implementation
The implementation of Agda is still work in progress.
The program is written in Haskell.
Back
Catarina Coquand
Last modified: Mon May 11 19:55:38 MET DST 1998