[Agda] Bug in record definition

Sivaram Gowkanapalli sivaramreddy at hotmail.com
Sun Mar 27 20:26:00 CEST 2011


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug-in-record.agda
Type: application/octet-stream
Size: 1245 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20110327/81b99318/bug-in-record.obj


More information about the Agda mailing list