From 239aa210c57faeafc3a1d35abcb6134595f651a3 Mon Sep 17 00:00:00 2001
From: Mark <mark@betalupi.com>
Date: Sat, 22 Oct 2022 18:21:07 -0700
Subject: [PATCH] Added a few macros

---
 lamb/__main__.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lamb/__main__.py b/lamb/__main__.py
index 43cb809..d9b98d8 100755
--- 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)))"
 ])