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.1.0.tar.gz md5=79c80063917f23f13a61833be04159c1 sha512=8126339ec8712dfa7324f269943fed26dfd19d5c34c1e6b70a76090e3a125436c811fa930c7ac9cad71fae9c28b60ab935f34329a1439ae4ae8eca6881c2ed45 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.5.1.0/opam |
No package is dependent
