package mugen

  1. Overview
  2. Docs
Universe levels and universe polymorphism

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. T
    The RedPRL Development Team

Maintainers

  1. F
    favonia <favonia@gmail.com>

Sources

0.1.0.tar.gz
md5=18d13a806906d47b31bd586f956c1b7e
sha512=21a1d615891026f7faa8306233586ba880d38597c8da7baa8471015e2489c3b1876c3934c13545f8a3973d5829832cfd966fffe189be544e19aac7276f571675

Description

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

Published: 29 Dec 2022

Dependencies (2)

  1. ocaml >= "4.13"
  2. dune >= "2.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. bwd >= "2.1" & with-test

Used by

None

Conflicts

None