- ๐ 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 / tasty-tutorial Goto Github PK
View Code? Open in Web Editor NEWMaterials for teaching tasty framework with hspec and hedgehog
License: Other