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