PrototypeCommune
polux/lambda-diagrams
Animations of lambda term reduction sequences
- Propriétaire
- polux (compte personnel)
- Étoiles
- Étoiles : 171
- Forks
- Forks : 11
- Langage
- Haskell
- Licence
- Apache-2.0
- Création
- 2018
- Sujets
- lambda-calculus
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- KeliLanguage/compilerÉtoiles : 171HaskellPrototype
- i-am-tom/higgledyÉtoiles : 171HaskellPrototype
- isovector/algebra-driven-designÉtoiles : 171HaskellPrototype
- AccelerateHS/accelerate-llvmÉtoiles : 171HaskellPrototype
- expipiplus1/vulkanÉtoiles : 171HaskellPrototype