[Agda] simple example

Dan Rosén danr at student.chalmers.se
Fri Aug 17 16:06:20 CEST 2012


>
>
> I have  Agda-2.3.0.1.
> Is  NO_TERMINATION_CHECK  in a non-official release?
>

It is in the development version which you can get via darcs, see
information under "Development version" at
http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Download

/Dan


More information about the Agda mailing list