HCoop / hcoop / debian / mlton.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Backport from sid to buster
[hcoop/debian/mlton.git] / doc / guide / src / LambdaCalculus.adoc
CommitLineData
7f918cf1
CE		 1LambdaCalculus
2==============
3
4The http://en.wikipedia.org/wiki/Lambda_calculus[lambda calculus] is
5the formal system underlying <:StandardML:Standard ML>.
mlton packaging