[Agda] Confusion with levels in proof irrelevance

Jan Bracker jan.bracker at googlemail.com
Fri Jun 17 15:09:04 CEST 2016


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: Minimal.agda
Type: text/x-agda
Size: 2436 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20160617/2daff4ee/Minimal.bin


More information about the Agda mailing list