- ๐ Hi, Iโm @youms56
- ๐ Iโm interested in Data Science, Data Engineering and Functional Programming (Haskell, Ocaml,Scala, Purescript, Elixir and Typescript)
- ๐ฑ Iโm currently learning Haskell
- ๐๏ธ Iโm looking to collaborate on Haskell projects
- ๐ซ How to reach me via my personal email: [email protected]
youms56 / agda-categories Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pcapriotti/agda-categories
Category theory and algebra