Topic: "lambda-abstractions"
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language: Haskell - Size: 747 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 36 - Forks: 3
archanpatkar/ChurchEncodings
λ Lambda Calculus Encodings
Language: Python - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0
jyoo980/haskell-fp
A repository exploring pure functional programming with Haskell
Language: Haskell - Size: 70.3 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
