Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
Getting started with DCS
•
Aaron Stump
•
Season 4
•
Episode 17
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
In this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.