Owner · plfa
plfa
plfa's tracked open-source repos, sorted by stars.
1 repos
- #1
An introduction to programming language theory in Agda
★ 1,514+0Star change over the last 7 days
plfa's tracked open-source repos, sorted by stars.
An introduction to programming language theory in Agda