- ๐ Hi, Iโm Rado Kirov.
- ๐ Iโm interested in math, theoretical computer science and anything visual.
- ๐ฑ Iโm currently learning about proof assistants, homotopy type theory.
- ๐๏ธ Iโm looking to collaborate on incremental computation, programing language design.
- ๐ซ How to reach me - [email protected] or @radokirov on Twitter.
rkirov / matscha Goto Github PK
View Code? Open in Web Editor NEWJS/TS AST matching tool
License: Apache License 2.0