PrototypeCommon
andreasabel/miniagda
A prototypical dependently typed languages with sized types and variances
- Owner
- andreasabel (personal account)
- Stars
- Stars: 115
- Forks
- Forks: 4
- Language
- Haskell
- License
- MIT
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- wyager/NeksStars: 115HaskellPrototype
- imeckler/moteStars: 115HaskellPrototype
- judah/pierStars: 115HaskellPrototype
- xmonad/X11Stars: 115HaskellPrototype
- bgamari/b-treeStars: 115HaskellPrototype
- bjornbm/dimensionalStars: 115HaskellPrototype