andersversion

CCHM homotopy system type checker with strict equality

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.12.1.tar.gz
md5=10bc0c65d9aabab5ceeba6245bf1e0c3
sha512=6bbab7ff3efcf1de5b6423f7e5b153e76f37cf3bf8513383162a73b9377771f0520fe1f1fe4cf53652b3a60fe42cef9d6054fa4ae888edd65696accbd0bac124
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.0.12.1/opam
No package is dependent