PrototypeCommune
Agda-zh/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
- Propriétaire
- Agda-zh (organisation)
- Étoiles
- Étoiles : 221
- Forks
- Forks : 24
- Langage
- Haskell
- Licence
- CC-BY-4.0
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- haskell-unordered-containers/unordered-containersÉtoiles : 224HaskellPrototype
- typeclasses/haskell-phrasebookÉtoiles : 222HaskellPrototype
- simonmar/par-tutorialÉtoiles : 221HaskellPrototype
- jgoerzen/twidgeÉtoiles : 220HaskellPrototype
- ekmett/linearÉtoiles : 220HaskellPrototype
- nstack/nstackÉtoiles : 220HaskellPrototype