- ๐ Hi, Iโm Ian, an instructor of functional programming and blockchain technology at EMURGO Academy and full-stack developer.
- ๐ Iโm interested in functional programming and education. I program in Haskell, TypeScript and Python.
- ๐ฑ Iโm currently exploring intuitionistic logic and Agda.
- ๐๏ธ Iโm looking to connect with other developers with a philosophical bent.
iburzynski / haskell-dojo Goto Github PK
View Code? Open in Web Editor NEWGuided projects for EMURGO Academy's Cardano-Haskell Developer Open Course
License: MIT License