[Agda] Incompatibilities affecting ``Fresh Look''
Nicolas Pouillard
nicolas.pouillard at gmail.com
Tue Dec 14 17:23:37 CET 2010
On Mon, 13 Dec 2010 22:29:31 -0500, kahl at cas.mcmaster.ca wrote:
> I am trying to get Nicolas Pouillard and François Pottier's ``Fresh Look''
The short answer is that since Agda and its std library is a fast moving
target, I suggest to use the latest version available at this time.
However I still work on this development and still follow Agda and its
library updates, but this is an on going work.
Best regards,
--
Nicolas Pouillard
http://nicolaspouillard.fr
More information about the Agda
mailing list