[Agda] Agda bug

[Carlos Camarao]

Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: Unif.agda
Type: application/octet-stream
Size: 3972 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131106/cd9f1f92/Unif-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Ty.agda
Type: application/octet-stream
Size: 3582 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131106/cd9f1f92/Ty-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Subst_list.agda
Type: application/octet-stream
Size: 5397 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131106/cd9f1f92/Subst_list-0001.obj