- ๐ 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 / closure-compiler Goto Github PK
View Code? Open in Web Editor NEWThis project forked from google/closure-compiler
A JavaScript checker and optimizer.
Home Page: https://developers.google.com/closure/compiler/
License: Apache License 2.0