danelahman / Directed-ContainersLinks

An Agda formalisation of the theory of directed containers
12Updated last month

Alternatives and similar repositories for Directed-Containers

Users that are interested in Directed-Containers are comparing it to the libraries listed below

Sorting: