diff --git a/lsf/lambda-calculus-lsf.html.markdown b/lsf/lambda-calculus-lsf.html.markdown index 36583367..88bb638f 100644 --- a/lsf/lambda-calculus-lsf.html.markdown +++ b/lsf/lambda-calculus-lsf.html.markdown @@ -10,7 +10,8 @@ lang: lsf # Calculo λ -Calculo lambda, creato principto per Alonzo Church, es lingua de programmatura computatro maximo parvo. Quamquam non habe numero, serie de charactere vel ullo +Calculo lambda, creato principto per Alonzo Church, es lingua de programmatura +computatro maximo parvo. Quamquam non habe numero, serie de charactere vel ullo typo de data non functionale, id pote repraesenta omne machina de Turing. Tres elemento compone calculo lambda: **quantitate variabile** (q.v.),