lambda-abstractions

There are 0 repository under lambda-abstractions topic.

thma / lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref
Language:Haskell 28
archanpatkar / ChurchEncodings
λ Lambda Calculus Encodings
functional-programming functions lambda-calculus lambda-abstractions currying python functional-python boolean numbers functional-data-structure combinators
Language:Python 5
jyoo980 / haskell-fp
A repository exploring pure functional programming with Haskell
functional-programming haskell pure lambda-calculus beta-reduction lambda-abstractions eta-conversion
Language:Haskell