Linguaggio di programmazione LM
Assemblatore tipizzato compatto
In Evidenza
7 Voti
Descrizione
λ☶ (pronunciata Lambda Mountain) è un backend del compilatore che fornisce un'implementazione relativamente pulita del sistema F <: con specializzazione.L'intero compilatore è solo 5000 righe di codice.