PrototypeCommon
Agda-zh/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
- Owner
- Agda-zh (organization)
- Stars
- Stars: 221
- Forks
- Forks: 24
- Language
- Haskell
- License
- CC-BY-4.0
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- haskell-unordered-containers/unordered-containersStars: 224HaskellPrototype
- typeclasses/haskell-phrasebookStars: 222HaskellPrototype
- simonmar/par-tutorialStars: 221HaskellPrototype
- jgoerzen/twidgeStars: 220HaskellPrototype
- ekmett/linearStars: 220HaskellPrototype
- nstack/nstackStars: 220HaskellPrototype