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