- ๐ Hi, Iโm Eros;
- ๐ Iโm interested in category theory and functional programming;
- ๐ฑ Iโm currently learning Agda, Clojure and Haskell.
emraors / lets-lens Goto Github PK
View Code? Open in Web Editor NEWThis project forked from system-f/lets-lens
Course material for lens
License: Other