7calore
2risposta
Cosa sono le "semantiche di riduzione"? Si prega di spiegare l'uso di PLT Redex in termini profani