Hello everyone, Could you tell me please whether there is anything to support unique types in Agda? Maybe some library?
Thanks a lot, Dmytro
_______________________________________________ pmwiki-users mailing list [email protected] http://www.pmichaud.com/mailman/listinfo/pmwiki-users
