[−][src]Module voile::syntax::core
Core language, aka well-typed terms.
Modules
ast | |
level | |
pretty |
Structs
Closure | A closure with parameter type explicitly specified. |
ValInfo | A value with syntax info. This is what should be stored inside of the context. |
Enums
Axiom | Postulated value (or temporarily irreducible expressions), aka axioms. |
Neutral | Irreducible because of the presence of generated value. |
Val | Non-redex, canonical values. |
Constants
TYPE_OMEGA |
Traits
LiftEx | Expression with universe level (which means they can be lifted). |
RedEx | Reducible expressions. |
Type Definitions
TVal | Type values. |
Variants |