X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=_what_is_functional.mdwn;h=ff9be6ae41f193c46db0a4337b5f86808fa8dfb1;hp=d6b9354ec60360339351fd1366d00ede9136b07a;hb=43e2eb7bdded470e524b75291f842e34cc0c0432;hpb=d7dd23c2ace59bf557f247e57fe75190a4d1e798 diff --git a/_what_is_functional.mdwn b/_what_is_functional.mdwn index d6b9354e..ff9be6ae 100644 --- a/_what_is_functional.mdwn +++ b/_what_is_functional.mdwn @@ -89,7 +89,7 @@ Scheme (imperative part)
OCaml (imperative part) untyped lambda calculus
-combinatorial logic +combinatory logic --------------------------------------------------- Turing complete --------------------------------------------------- @@ -191,7 +191,7 @@ Scheme (imperative part)
OCaml (imperative part) untyped lambda calculus
-combinatorial logic +combinatory logic --------------------------------------------------- Turing complete --------------------------------------------------- @@ -245,7 +245,7 @@ Or this: In the presence of imperatival elements, sequencing order is very relevant. For example, these will behave differently: (begin (print "under") (print "water")) - + (begin (print "water") (print "under")) And so too these: