[Agda] Agda Unique type

Dmytro Starosud d.starosud at gmail.com
Fri Oct 12 20:51:00 CEST 2012


Hello everyone,

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

Thanks a lot,
Dmytro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121012/5ae0558b/attachment.html


More information about the Agda mailing list