Home

λ☶

λ☶ (pronounced Lambda Mountain) is a typed macro assembler. It can be used for a variety of tasks such as generating assembly level programs, compiling HTML, CSS objects, or even rendering video and audio files.

Concepts

• Community Guidelines
• Unopinionated Philosophy
• Getting Started
• Type System
• Fragments
• Functional Programming
• Object-Oriented Programming
• Generics vs Templates
• Coding Conventions
• Equivalence Classes
• Metrics and Objective Functions
• Meditation Modules
• Internal Compiler API
• Versions and Release Train Schedule

λ☶ Name Origin

Lambda (λ) indicates a model of computation up to System F<:. Mountain (☶) indicates how Specialization can be structured: well designed puns can lead to asymptotically different inference performance.

Mascot

Doby was a mule that refused to cross a bridge on the way back from a camping trek. He was left for dead in the rough wilderness with winter approaching. Somehow he survived the whole winter under that bridge and was discovered by the game warden the next year.