[Agda] Someone please explain where Set1 comes into this...

Samuel Bronson naesten at gmail.com
Sun May 11 05:11:16 CEST 2008


I seem to be in over my head. Help!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Theory.agda
Type: application/octet-stream
Size: 3461 bytes
Desc: not available
Url : https://lists.chalmers.se/mailman/private/agda/attachments/20080510/db1bad82/Theory.obj


More information about the Agda mailing list