anders

Modal Homotopy Type System
Description
Install
Documentation groupoid.space ISC License Edit opam file
Published
27 Jan 2022
Authors
Maintainers
Sources
1.1.1.zip
md5=265c4b61dabe697e90a6ca2db300542b sha512=9474fb6be18950afeea0bcc31489b2152209332e92d40ec10262100528ecf596196e05746ced7d687bc7e09695a1bcb52f52032ca8b2cfdc4a7fca454960fd49
Dependencies
menhir >= "20200123"
ocaml >= "4.10"
zarith >= "1.12"
dune >= "2.0"
Reverse Dependencies