lisk77/lambda
1
0
Fork 0
mirror of https://github.com/lisk77/lambda.git synced 2025-10-24 18:28:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: renamed the examples

Browse source
This commit is contained in:
lisk77 2025-07-02 23:45:37 +02:00
parent 9ff3943819
commit 199251ec6b
3 changed files with 0 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
examples/numbers Normal file
View file

@ -0,0 +1,13 @@
0 = \ f x . x;
1 = \ f x . f x;
2 = \ f x . f ( f x );
isZero = \ n . n (\ x . false) true;
succ = \ n f x . f ( n f x );
pred = \ n f x . n (\ g h . h ( g f )) (\u . x) (\u . u);
add = \ m n . n succ m;
sub = \ m n . n pred m;
mul = \ m n f . m ( n f );
exp = \ b n . n b;
main = add 2 1;