Expand description
Type definitions module. Language configuration module.
§Lean Language
Lean language definition.
Defines the core structure for the Lean language, implementing the oak-core Language trait.
This module provides lean language functionality for the Oaks project.
Structs§
- Lean
Language - Lean language definition.