Intro to ATS #9: Introduction to Dependent Types

First published at 10:22 UTC on October 21st, 2018.

The video is pretty muddled in parts.

CategoryScience & Technology
SensitivityNormal - Content that is suitable for ages 13+