Here's an intro to dependent types from David Christiansen, I think it came up during another dependent types discussion: https://youtu.be/VxINoKFm-S4 https://y

Here's an intro to dependent types from David Christiansen, I think it came up during another dependent types discussion: https://youtu.be/VxINoKFm-S4 https://youtu.be/VxINoKFm-S4