plfa/plfa.github.io
PublicAn introduction to programming language theory in Agda
- Stars1.5k+1 tuần này
- Forks356
- Watchers22
- Issues49
- Ngày tạo10/03/2017
- Cập nhật gần nhất27/10/2026
- Ngôn ngữAgda
- Giấy phépCC-BY-4.0
Repo này không có README
Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.
Mở trên GitHub