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