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 <maxim@synrc.com> |
| 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
