[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