[pmwiki-users] Agda Unique type

Dmytro Starosud d.starosud at gmail.com
Fri Oct 12 13:38:18 CDT 2012

Hello everyone,

Could you tell me please whether there is anything to support unique types
in Agda?
Maybe some library?

Thanks a lot,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.pmichaud.com/pipermail/pmwiki-users/attachments/20121012/7985b492/attachment.html>

More information about the pmwiki-users mailing list