danelahman / Directed-Containers

An Agda formalisation of the theory of directed containers
11Updated 12 years ago

Related projects

Alternatives and complementary repositories for Directed-Containers