From 5ab5de91eb0ae6ed9db78a2c8c47ec67f105e504 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Wed, 12 May 2010 21:13:52 +0000 Subject: --- docs/fype.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'docs') diff --git a/docs/fype.txt b/docs/fype.txt index 77ccdad..004652e 100644 --- a/docs/fype.txt +++ b/docs/fype.txt @@ -11,3 +11,21 @@ Examples: (λx.(λy.y)) ≡ λx.λy.y ≡ λx y.y ≡ true λx.λy.((x y) false) ≡ λx y.((x y) false) ≡ and +Syntax: + +(λx . (λy.x)) ≡ λx.λy.x ≡ λx y . x ≡ false +true: x y = x; + +(λx.(λy.y)) ≡ λx.λy.y ≡ λx y . y ≡ true +false: x y = y; + +λx.λy.((x y) false) ≡ λx y.((x y) false) ≡ and +and: x y = (x y) false; + +id: x = x; + +greet: x = say (~ "Hello " x); + + + + -- cgit v1.2.3