[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