PrototypeCommon
sweirich/challenge
Strongly-typed System F in Haskell
- Owner
- sweirich (personal account)
- Stars
- Stars: 122
- Forks
- Forks: 10
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sweirich
All 5 repos by sweirich- sweirich/pi-forallStars: 632HaskellAlpha
- sweirich/dthStars: 309HaskellAlpha
- sweirich/talStars: 150HaskellPrototype
- sweirich/lambda-n-waysStars: 127HTMLPrototype
Nearby in Haskell
All Haskell repos- jmorag/mccStars: 122HaskellPrototype
- dandoh/web-haskell-graphql-postgres-boilerplateStars: 122HaskellPrototype
- grin-compiler/ghc-whole-program-compiler-projectStars: 122HaskellPrototype
- haskellari/theseStars: 122HaskellPrototype
- lehins/hipStars: 122HaskellPrototype
- nirum-lang/nirumStars: 122HaskellPrototype