![](/statics/img/blank.png)
PetitLambda 0.1
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa PetitLambda
Interprete del lambda calculus. Mostra un processo di riduzione dei termini lambda. Sono supportate diverse strategie di valutazione. Il formato di output può essere selezionato dal lattice, testo normale.