[pmwiki-users] Agda Unique type

Petko Yotov 5ko at 5ko.fr
Fri Oct 12 13:46:23 CDT 2012

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:



More information about the pmwiki-users mailing list