Topic: "church-encodings"
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Language: JavaScript - Size: 476 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 521 - Forks: 42
Risto-Stevcev/haskell-church-encodings
:cyclone: Church encodings written in Haskell
Language: Haskell - Size: 20.5 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 25 - Forks: 3
Risto-Stevcev/python-church-encodings
Church encodings written in Python
Language: Python - Size: 141 KB - Last synced at: 5 months ago - Pushed at: about 11 years ago - Stars: 1 - Forks: 1
ASK1995/Haskell
Haskell Implementations during CS 581 at OSU.
Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
