nλ - Functional λ-Calculus Tools

Welcome to nλ

We build λ-calculus tools for educators, developers, and functional programming enthusiasts. Explore our interactive workspaces and learn about pure functional design.

Discover Our Mission

λ-Calculus Workspaces

Interactive environments for visualizing reductions, type inference, and pattern matching.

Learn More

📘

Educational Resources

Courses on λ-calculus, type theory, and practical functional programming patterns.

Explore

🛠️

Functional Tools

Open-source libraries for Haskell, ClojureScript, and LISP-based development.

View Projects

Join Our Community

We welcome contributors to our functional programming projects. Discuss λ-calculus, Haskell, or type theory in our Discord.