1 2 3 4 5 6 7
# 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.