2 ms·From Scheme to Dependent Types in 100 Lines by Gershom Bazerman2 points by tartoran 5y agocompressedgas 5y agoI think the URL is suppose to be https://www.youtube.com/watch?v=N5Ny8EQmd9M https://www.youtube.com/watch?v=N5Ny8EQmd9M