phi16/Lambia

Lambia /lamia/ the practical Lambda-Calculus language

Lambia

Lambia /lamia/ the practical Lambda-Calculus language http://miyus.dip.jp/lambia

Usage

$ Lambia Pre.lm -i
> [Source]
(\ab.a)
> open Pre
> :s Fix
Fix = (\a.(\b.a (b b)) (\b.a (b b)))
> Fact = Fix (\fn.If (Zero n) (Succ 0) (Mul n (f (Pred n))))
> Fact 3
(\ab.a (a (a (a (a (a b))))))
> :q
[Quit]
$

Combinator-As-Backend Support

$ Lambia -s Pre.lm -i
> [Source]
K
> open Pre
> :s Fix
Fix = S(CB(SII))(CB(SII))
> Pow 2 3
B(SB(SB(KI)))(B(SB(SB(KI)))(B(SB(SB(KI)))I))
> it Succ 0
SB(SB(SB(SB(SB(SB(SB(SB(KI))))))))
> :q
[Quit]
$