RedPRL

latest

Tutorial
Language reference
Atomic judgments
Multiverses
Refinement rules

RedPRL

Docs »
Multiverses
Edit on GitHub

Multiverses¶

Todo

To Infinity… and Beyond!

Next Previous

© Copyright 2015–2018, The RedPRL Development Team Revision 4b13acd6.

Built with Sphinx using a theme provided by Read the Docs.