calchylus 0.1.2

Calchylus - Lambda Calculus with Hy

$$Huge ϒ = 𝜆x.(𝜆y.x space (y space y)) space (𝜆y.x space (y space y))$$

Calchylus is a Hy module that is used to evaluate, and furthermore, to understand the basics of Lambda calculus (also written as λ-calculus).

Lambda calculus is a formal system in mathematical logic for expressing computation that is based on function abstraction and application using variable binding and substitution. -wikipedia.org

Quick start

$ pip install hy calchylus
$ hy

(require [calchylus.lambdas [*]])
(with-alpha-conversion-and-macros L ,)
(L x y , (x (x (x (x (x y))))) a b)
; (a (a (a (a (a b)))))
(FIBONACCI FIVE)
; (x (x (x (x (x (x (x (x (x (x (x (x (x y)))))))))))))