mugenversion Documentation on ocaml.org
Universe levels and universe polymorphism
This package implements the generalization of Conor McBride’s crude but effective stratification. The theory behind the design is discussed in the POPL 2023 paper “An Order-Theoretic Analysis of Universe Polymorphism.”
| Author | The RedPRL Development Team |
|---|---|
| License | Apache-2.0 |
| Homepage | https://github.com/RedPRL/mugen |
| Issue Tracker | https://github.com/RedPRL/mugen/issues |
| Maintainer | favonia <favonia@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/RedPRL/mugen/archive/refs/tags/0.1.0.tar.gz md5=18d13a806906d47b31bd586f956c1b7e sha512=21a1d615891026f7faa8306233586ba880d38597c8da7baa8471015e2489c3b1876c3934c13545f8a3973d5829832cfd966fffe189be544e19aac7276f571675 |
No package is dependent
