BêtaRare
plfa/plfa.github.io
An introduction to programming language theory in Agda
- Propriétaire
- plfa (organisation)
- Étoiles
- Étoiles : 1 524
- Forks
- Forks : 356
- Langage
- Agda
- Licence
- CC-BY-4.0
- Création
- 2017
- Sujets
- bookproof-assistantprogramming-languages
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- agda/agda-stdlibÉtoiles : 679AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- the1lab/1labÉtoiles : 445AgdaAlpha