www.lord-enki.net Thu, Oct 25 21:06 2018 (6y ago) “A Little Taste of Dependent Types” by David Christiansen - YouTube https://www.youtube.com/watch?v=VxINoKFm-S4 ⤋ Read More