[Agda] defining coinductive types

Aaron Stump aaron-stump at uiowa.edu
Wed Dec 18 16:37:58 CET 2013


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: stdlib-bounded-stream.agda
Type: application/octet-stream
Size: 2000 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131218/54521c77/stdlib-bounded-stream.obj


More information about the Agda mailing list