- ๐ 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 / adapt-comp Goto Github PK
View Code? Open in Web Editor NEWReimplentation of the library from "Monads for Incremental Computing" in JS/TS.