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