- ๐ Hi, Iโm Eros;
- ๐ Iโm interested in category theory and functional programming;
- ๐ฑ Iโm currently learning Agda, Clojure and Haskell.
emraors / cs410-21 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from fredriknordvallforsberg/cs410-21
being the teaching materials and exercises for CS410 in the 2021/22 session