starxingchenc / plfa.github.io Goto Github PK
View Code? Open in Web Editor NEWThis project forked from plfa/plfa.github.io
An introduction to programming language theory in Agda
Home Page: https://plfa.github.io
License: Creative Commons Attribution 4.0 International