[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,
Dmytro
-------------- 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