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>