#blodwen — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #blodwen, aggregated by home.social.
-
Scheme Workshop Keynote: Edwin Brady - https://www.youtube.com/watch?v=h9YAOaBWuIk&list=PLyrlk8Xaylp4pcRhsuZ0gEOmggCOd8GBz&index=10&t=0s
#idris #idris2 #blodwen #functionalProgramming #fp #chezScheme #scheme
-
Idris 2 - Type-driven Development of Idris - Curry On 2019 - Edwin Brady - https://www.youtube.com/watch?v=DRq2NgeFcO0