- ๐ญ I used to work as a software engineer at Baidu, Beijing.
- ๐ฑ Iโm currently learning programming language theory and logic.
suica / 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