[Agda] Coinductive types and 'duals' to dependent lambda calculus?

Lars Lindqvist l_lindqvist at hotmail.com
Tue Oct 27 20:12:46 CET 2015


Hi,
Thanks for the detailed answer, Peter. It gave me a lot to think about. I am still not sure wether my question is just naive or really nonsense. Since the naive idea is pretty straightforward it have probably been considered and rejected many times before.
/LL
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151027/02289ff9/attachment.html


More information about the Agda mailing list