Welcome to Calchylus 3 documentation!¶
calchylus3
is a computer installable Hy module that is used to evaluate
Lambda expressions, and furthermore through this documentation, shine light to
the basics of Lambda calculus (also written as λ-calculus).
$$\Large ϒ = 𝜆x.(𝜆y.x \space (y \space y)) \space (𝜆y.x \space (y \space y))$$