Signin

Scott Fleischman: Agda from Nothing Part 1 - λC 2016

LambdaConf • September 25, 2017

Video Thumbnail

You May Also Like

LambdaConf

About

No channel description available.

Latest Posts

Video Thumbnail

Interview with Jonathan Blow at LambdaConf 2024

LambdaConf

Video Thumbnail

Writing a Type-Safe HTML Template Language For Roc by Isaac Van Doren

LambdaConf

Video Thumbnail

Scott Fleischman: Agda from Nothing Part 1 - λC 2016

LambdaConf

Video Thumbnail

Comparing Approaches to Structured Concurrency by James Ward and Adam Hearn

LambdaConf