andersversion

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

AuthorGroupoid Infinity
LicenseISC
Published
Homepagehttps://groupoid.space/homotopy/
Issue Trackerhttps://github.com/groupoid/anders/issues
MaintainerNamdak Tonpa <maxim@synrc.com>
Availablefalse
Dependencies
Source [http] https://github.com/groupoid/anders/archive/refs/tags/0.7.zip
md5=258c659c2b4dd602db1d844ef14189f8
sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.0.7/opam
No package is dependent