Added a few macros

2022-10-22 18:21:07 -07:00 · 2022-10-22 18:21:07 -07:00 · 239aa210c5
parent 31ce605674
commit 239aa210c5
1 changed files with 5 additions and 0 deletions
--- a/lamb/main.py
+++ b/lamb/main.py
@ -57,6 +57,11 @@ r.run_lines([
 	"Y = λf.( (λx.(f (x x))) (λx.(f (x x))) )",
 	"PAIR = λabi.( i a b )",
 	"S = λnfa.(f (n f a))",
+	"Z = λn.n (λa.F) T",
+	"MULT = λnmf.n (m f)",
+	"H = λp.((PAIR (p F)) (S (p F)))",
+	"D = λn.n H (PAIR 0 0) T",
+	"FAC = λyn.(Z n)(1)(MULT n (y (D n)))"
 ])