My work for the PLFA agda site
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
My work for the PLFA agda book: https://plfa.inf.ed.ac.uk/
License:MIT License