JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
This browser version is no longer supported. Please upgrade to a supported browser.
The Dialectics of Type-Level Programming; or How I Learned To Love Values
Tab
External
Slideshow
Share
Sign in
File
Edit
View
Help
Accessibility
Debug
Unsaved changes to Drive
Accessibility
View only
HTML view of the presentation