andersversion Documentation on ocaml.org
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
          

