jmchapman / Directed-Containers

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

jmchapman/Directed-Containers Issues

No issues in this repository yet.