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))$$