From Scheme to Dependent Types in 100 Lines by Gershom Bazermanm.youtube.com2 pointstartoran5 years ago