BetaRare
plfa/plfa.github.io
An introduction to programming language theory in Agda
- Owner
- plfa (organization)
- Stars
- Stars: 1,524
- Forks
- Forks: 356
- Language
- Agda
- License
- CC-BY-4.0
- Created
- 2017
- Topics
- bookproof-assistantprogramming-languages
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Agda
All Agda repos- agda/agda-stdlibStars: 679AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- the1lab/1labStars: 445AgdaAlpha