miniblog.
← Back to all posts
Wilfred Hughes
Dec 4, 2018 at 22:26
Lovely talk on type driven development in Idris 2, largely a live demo!
https://youtu.be/mOtKD7ml0NU