Mark
/
lamb
Archived
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed a macro bug

master
Mark 2022-11-09 21:44:32 -08:00
parent 04ce18c891
commit 4e3d5fa341
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
macros.lamb
View File

@ -67,11 +67,11 @@ XOR = λab.((a (NOT b)) b)
# `Y FAC 6` required 867,920 reductions and took 10 minutes to run. # `Y FAC 6` required 867,920 reductions and took 10 minutes to run.
PAIR = λabi.(i a b) PAIR = λabi.(i a b)
H = λp.((PAIR (p F)) (S (p F)))
S = λnfa.(f (n f a)) S = λnfa.(f (n f a))
D = λn.((n H) ((PAIR 0) 0) T) H = λp.((PAIR (p F)) (S (p F)))
D = λn.(n H (PAIR 0 0) T)
Z = λn.(n (λa.F) T) Z = λn.(n (λa.F) T)
NZ = λn.(n (λa.T) F) NZ = λn.(n (λa.T) F)
ADD = λmn.(m S n) ADD = λmn.(m S n)
MULT = λnmf.(n (m f)) MULT = λnmf.(n (m f))
FAC = λyn.( (Z n)(1)((MULT n) (y (D n))) ) FAC = λyn.(Z n) (1) (MULT n (y (D n)))