GitHub topics: call-by-need
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language: Haskell - Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 105 - Forks: 0
marvinborner/calm
:zap: Highly efficient and aggressive lambda calculus reducer [WIP]
Language: C - Size: 162 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0