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
functional-programming haskell graph-algorithms graph-reduction lambda-calculus combinator combinatory-logic compiler lambda-abstractions stref st-monad
Language:Haskell 29
archanpatkar / ChurchEncodings
λ Lambda Calculus Encodings
functional-programming functions lambda-calculus lambda-abstractions currying python functional-python boolean numbers functional-data-structure combinators
Language:Python 6
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