ncatlab.org Scott Fleischman in nLab Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page | Selected work Azimuth page Twitter account Selected work Introduction to Agda: Scott Fleischman, Agda from Nothing, talk at λC (2016) [video 1, video 2] category: people Created on February 14, 2023 at 11:32:05. See the history of this page for a list of all contributions to it. EditDiscuss Cite Print Source