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 _______________________________________________ pmwiki-users mailing list [email protected] http://www.pmichaud.com/mailman/listinfo/pmwiki-users
