andersversion Documentation on ocaml.org
Modal Homotopy Type System
| Author | Groupoid Infinity |
|---|---|
| License | ISC |
| Published | |
| Homepage | https://anders.groupoid.space/ |
| Issue Tracker | https://github.com/groupoid/anders/issues |
| Maintainer | Namdak Tonpa <maxim@synrc.com> |
| Dependencies | |
| Source [http] | https://github.com/groupoid/anders/archive/refs/tags/5.0.0.tar.gz md5=bf6f72be96bdfa60095ea316980fe687 sha512=d2f1a802261992f2c892fe6ea2fed1cf4f35fe55ec57dfd0f08d03b0edf43b3b97bb718b45f5d6444c7c9b4f57febee9a1932fe4a5fd691c0a5f77ce05341cde |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.5.0.0/opam |
No package is dependent
