Catarina Coquand wrote: > there is a new version of Agda checked in, I've put a cvs snapshot and Linux binary at http://coverproject.org/Agda/ Marcin