Skip to content
#

church-encoding

Star

Here are 5 public repositories matching this topic...

Language: Haskell
Filter by language
All 33 JavaScript 8 Haskell 5 Ruby 3 PHP 2 Scala 2 C++ 1 Clojure 1 Elixir 1 Kotlin 1 PostScript 1

GeorgeGrasu / Lambda-Calculus-Interpreter

Star 0

A Haskell implementation of a Lambda Calculus interpreter supporting Normal and Applicative reduction strategies. Features include a powerful REPL, macro definitions, and a standard library with Church encodings for Booleans, Numerals, and Pairs. A comprehensive tool for understanding functional programming foundations.

haskell interpreter parsing repl lambda-calculus church-encoding educational reduction-strategies lambda-expression funtionalprogramming
  • Updated Jan 5, 2026
  • Haskell

Improve this page

Add a description, image, and links to the church-encoding topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the church-encoding topic, visit your repo's landing page and select "manage topics."

Learn more