An Agda formalisation of the theory of directed containers
Home Page:http://cs.ioc.ee/~danel/dcont.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool