andersversion
Modal Homotopy Type System
| Authors | Namdak Tonpa @5HT and Siegmentation Fault @siegment |
|---|---|
| License | ISC |
| Published | |
| Homepage | https://groupoid.space/homotopy/ |
| Issue Tracker | https://github.com/groupoid/anders/issues |
| Maintainer | Namdak Tonpa <[email protected]> |
| Dependencies | |
| Source [http] | https://github.com/groupoid/anders/archive/refs/tags/1.1.1.zip md5=265c4b61dabe697e90a6ca2db300542b sha512=9474fb6be18950afeea0bcc31489b2152209332e92d40ec10262100528ecf596196e05746ced7d687bc7e09695a1bcb52f52032ca8b2cfdc4a7fca454960fd49 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/anders/anders.1.1.1/opam |
No package is dependent
