mugenversion

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.”

AuthorThe RedPRL Development Team
LicenseApache-2.0
Published
Homepagehttps://github.com/RedPRL/mugen
Issue Trackerhttps://github.com/RedPRL/mugen/issues
Maintainerfavonia <favonia@gmail.com>
Dependencies
Source [http] https://github.com/RedPRL/mugen/archive/refs/tags/0.1.0.tar.gz
md5=18d13a806906d47b31bd586f956c1b7e
sha512=21a1d615891026f7faa8306233586ba880d38597c8da7baa8471015e2489c3b1876c3934c13545f8a3973d5829832cfd966fffe189be544e19aac7276f571675
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mugen/mugen.0.1.0/opam
No package is dependent