Collection of slides, notes, and posters for public talks I've given.

View the Project on GitHub

Dependently Typed Programming Introduction (at Kiev Functional programming)


Talk given at Kievfprog, August 16th 2017, on seeing how dependent types can help you in your everyday practical code! Based on my LambdaConf 2017 talk.