PrototypeCommon
polux/lambda-diagrams
Animations of lambda term reduction sequences
- Owner
- polux (personal account)
- Stars
- Stars: 171
- Forks
- Forks: 11
- Language
- Haskell
- License
- Apache-2.0
- Created
- 2018
- Topics
- lambda-calculus
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- KeliLanguage/compilerStars: 171HaskellPrototype
- i-am-tom/higgledyStars: 171HaskellPrototype
- isovector/algebra-driven-designStars: 171HaskellPrototype
- AccelerateHS/accelerate-llvmStars: 171HaskellPrototype
- expipiplus1/vulkanStars: 171HaskellPrototype