[HoTT] Re: [Agda] Higher inductive-recursive definitions?

Altenkirch Thorsten psztxa at exmail.nottingham.ac.uk
Sat May 24 13:36:22 CEST 2014


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: Uxx.agda
Type: application/octet-stream
Size: 1638 bytes
Desc: Uxx.agda
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140524/3a81c001/Uxx-0001.obj


More information about the Agda mailing list