mirror of
https://github.com/adambard/learnxinyminutes-docs.git
synced 2024-12-25 18:28:51 +00:00
Merge pull request #3752 from AcProIL/master
[Lambda calculus/lsf] Fix line length
This commit is contained in:
commit
35dbf7a5e4
@ -10,7 +10,8 @@ lang: lsf
|
|||||||
|
|
||||||
# Calculo λ
|
# 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.
|
typo de data non functionale, id pote repraesenta omne machina de Turing.
|
||||||
|
|
||||||
Tres elemento compone calculo lambda: **quantitate variabile** (q.v.),
|
Tres elemento compone calculo lambda: **quantitate variabile** (q.v.),
|
||||||
|
Loading…
Reference in New Issue
Block a user