[pmwiki-users] Agda Unique type

[Petko Yotov]

Dmytro Starosud writes:
> Could you tell me please whether there is anything to support unique types in  
> Agda? Maybe some library?

Hello. This is the mailing list for PmWiki, the web publishing software used  
on the Agda wiki. We only make the wiki, not the programming language. See  
this page if you want to contact the Agda community:

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Community

Petko