[Agda] darcs-Nov2013 vs Agda-

Sergei Meshveliani mechvel at botik.ru
Mon Nov 25 17:25:14 CET 2013

A note for any occasion:

my programs are stuck under Agda-  ( looks too buggy).

And  Agda of darcs of November 25, 2013
looks all right, so far
(apart from various effects which I do not understand, where I need to
rewrite a proof in a different style to make it type-checked).



More information about the Agda mailing list