[−][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. |
Traits
| LiftEx | Expression with universe level (which means they can be lifted). |
| RedEx | Reducible expressions. |
Type Definitions
| TVal | Type values. |
| Variants |