- ๐ญ I used to work as a software engineer at Baidu, Beijing.
- ๐ฑ Iโm currently learning programming language theory and logic.
suica / solution-to-plfa Goto Github PK
View Code? Open in Web Editor NEWMy solution to Programming Language Foundations in Agda (available at https://plfa.github.io)