- ๐ 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 / definitelytyped Goto Github PK
View Code? Open in Web Editor NEWThis project forked from definitelytyped/definitelytyped
The repository for high quality TypeScript type definitions.
Home Page: http://definitelytyped.org/
License: Other