plfa / plfa.github.io
plfa.github.io
An introduction to programming language theory in Agda
plfa.github.io 是用 Agda 编写的学习资料，用于系统学习与查阅。
目前累计 1.5k star、356 fork，主要语言为 Agda，项目始于 2017 年，采用 CC-BY-4.0 许可。最近状态：近一个月有提交。适合：想补齐某块知识的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。plfa/plfa.github.io 是一个以 Agda 为主的开源项目，目前累计 1.5k star、356 fork，近 30 天内有提交。主要方向：book、programming-languages、proof-assistant。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。