Projects in Awesome Lists by plfa
A curated list of projects in awesome lists by plfa .
https://github.com/plfa/plfa.github.io
An introduction to programming language theory in Agda
book programming-languages proof-assistant
Last synced: 12 Apr 2025
https://github.com/plfa/lagda.md2tex
Tool for converting literate Agda in markdown to literate Agda in tex
Last synced: 10 Feb 2026