lambda-abstractions

There are 3 repositories under lambda-abstractions topic.

thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language:Haskell28 4 01
archanpatkar/ChurchEncodings
λ Lambda Calculus Encodings
Language:Python5 2 00
jyoo980/haskell-fp
A repository exploring pure functional programming with Haskell
Language:Haskell1 0