Dependently Typed Programming Introduction (at Kiev Functional programming)

(up)

• Slides (HTML)
• Slides (PDF)
• Markdown Source
• Code Samples

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.