PrototypeCommon
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
- Owner
- marvinborner (personal account)
- Stars
- Stars: 145
- Forks
- Forks: 3
- Language
- Haskell
- License
- MIT
- Created
- 2022
- Topics
- balanced-ternaryde-bruijnlambda-calculusprogramming-languageabstract-machinecall-by-needchurch-encodingcombinatory-logic
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by marvinborner
All 2 repos by marvinborner- marvinborner/birbStars: 104HaskellPrototype
Nearby in Haskell
All Haskell repos- haskell-servant/example-servant-elmStars: 145HaskellPrototype
- nomeata/ghc-proofsStars: 145HaskellPrototype
- tsoding/HyperNerdStars: 145HaskellPrototype
- wavewave/fficxxStars: 145HaskellPrototype
- rnons/ted2srtStars: 145HaskellPrototype
- simhu/cubicalStars: 145HaskellPrototype