PrototypeCommune
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
- Propriétaire
- marvinborner (compte personnel)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 3
- Langage
- Haskell
- Licence
- MIT
- Création
- 2022
- Sujets
- balanced-ternaryde-bruijnlambda-calculusprogramming-languageabstract-machinecall-by-needchurch-encodingcombinatory-logic
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de marvinborner
Les 2 dépôts de marvinborner- marvinborner/birbÉtoiles : 104HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- haskell-servant/example-servant-elmÉtoiles : 145HaskellPrototype
- nomeata/ghc-proofsÉtoiles : 145HaskellPrototype
- tsoding/HyperNerdÉtoiles : 145HaskellPrototype
- wavewave/fficxxÉtoiles : 145HaskellPrototype
- rnons/ted2srtÉtoiles : 145HaskellPrototype
- simhu/cubicalÉtoiles : 145HaskellPrototype