←
Back to Open Source
🐙 GitHub Detail
P
plfa/plfa.github.io
By plfa
An introduction to programming language theory in Agda
GitHub
Agda
Creative Commons Attribution 4.0 International
Updated 04 Jun 2026
Live Snapshot
⭐
Stars
1,510
🍴
Forks
352
📄
License
Creative Commons Attribution 4.0 International
🧩
Type
Agda
📘
About this open-source project
Live information fetched from GitHub.
An introduction to programming language theory in Agda
🌿
Default Branch
dev
🐞
Open Issues
63
👀
Watchers
1,510