summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--lsf/lambda-calculus-lsf.html.markdown3
1 files changed, 2 insertions, 1 deletions
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.),