RedPRL / mugen

♾️ A library for universe levels and universe polymorphism

https://redprl.org/mugen/mugen

RedPRL/mugen Issues

Fix dump: don't align `Shifted` with space during ugly printing.
Closed 9 months ago
Implement joins of universe levels (not just of displacements)
Updated 9 months ago
Release 0.1.0 to OPAM
Closed a year ago
Docs: create the landing/introduction page for the project
Updated a year ago
Docs: fully document test/Example.ml
Closed 2 years ago
Upgrade Shift.Constant and redo MultiShift.Make
Closed 2 years ago1