[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:

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

Petko





More information about the pmwiki-users mailing list