X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=_what_is_functional.mdwn;h=ff9be6ae41f193c46db0a4337b5f86808fa8dfb1;hp=c17da57460509b9513d02b6c92f856352c4bf544;hb=c8cafa30e8f5eb875eef4003e927df51c62ebc09;hpb=bc0708caa18ac5d16a57a95a1387c8b7ab855eeb diff --git a/_what_is_functional.mdwn b/_what_is_functional.mdwn index c17da574..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 ---------------------------------------------------