#

lambda-abstractions

Here are 3 public repositories matching this topic...

thma / lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine

haskell compiler functional-programming graph-algorithms lambda-calculus combinator combinatory-logic graph-reduction lambda-abstractions stref st-monad

Updated Sep 10, 2025
Haskell

archanpatkar / ChurchEncodings

λ Lambda Calculus Encodings

python functional-programming functions lambda-calculus boolean numbers currying functional-data-structure combinators functional-python lambda-abstractions

Updated Dec 7, 2018
Python

jyoo980 / haskell-fp

A repository exploring pure functional programming with Haskell

haskell functional-programming lambda-calculus pure beta-reduction lambda-abstractions eta-conversion

Updated Feb 6, 2018
Haskell

Improve this page

Add a description, image, and links to the lambda-abstractions 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 lambda-abstractions topic, visit your repo's landing page and select "manage topics."