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=e9f12921b951fa2529481390c6fb3864

sha512=afc27c83c4bdcb5fb93e1b58bdcc9b08a28f002f15d0e27a7e509666ca3f6bad47fc7296a72cd68aeee7d24175d2c64ee4688edeedc79adedab7cb1f5bb19760

doc/index.html

anders