opam on Github

andersversion
0.7.1

CCHM homotopy system type checker based on Mini-TT for OCaml

AuthorsNamdak Tonpa @5HT and Siegmentation Fault @siegment
LicenseISC
Published
Homepagehttps://groupoid.space/homotopy/
Issue Trackerhttps://github.com/groupoid/anders/issues
MaintainerNamdak Tonpa <maxim@synrc.com>
Dependencies
Source [http] https://github.com/groupoid/anders/archive/refs/tags/0.7.1.zip
md5=a993dfa86ac42d3dac6c089096b67e84
sha512=6acd8c46a281626e153f6bcc80c03ade45148b1f854ac303fab2932991b3d0ee77a2fa0c4611ee54017eb250ce0f6b732b23ddeef9d57d9eceb4a4d79e5354a8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.0.7.1/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.