package anders

You can search for identifiers within the package.

in-package search v0.2.0

CCHM homotopy system type checker with strict equality

Install

Dune Dependency

groupoid.space Readme Edit opam file Versions (4)

Authors

Maintainers

N

Namdak Tonpa <maxim@synrc.com>

Sources

md5=10bc0c65d9aabab5ceeba6245bf1e0c3

sha512=6bbab7ff3efcf1de5b6423f7e5b153e76f37cf3bf8513383162a73b9377771f0520fe1f1fe4cf53652b3a60fe42cef9d6054fa4ae888edd65696accbd0bac124

doc/index.html

anders