@rae: Update on Dependent Haskell
2 years ago
[{"url":"https://i.ytimg.com/vi/TXDivoj1v6w/hq720.jpg?sqp=-oaymwEcCOgCEMoBSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDyeYrDKYETAuBHV5mSx8jd_6r0rg","width":360,"height":202},{"url":"https://i.ytimg.com/vi/TXDivoj1v6w/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBdJFf0wKcP3hvCjyDWt9Uramsh0A","width":720,"height":404}]
{"url":"https://i.ytimg.com/an_webp/TXDivoj1v6w/mqdefault_6s.webp?du=3000&sqp=COCOsakG&rs=AOn4CLCj-3TanJmb0dNhdSb9MTcd_1zQhQ","width":320,"height":180}
[{"text":"I share a little on what's been going on in the broader journey toward "},{"text":"dependent","bold":true},{"text":" types in Haskell. Beyond what's shared in the\u00a0..."}]
{"name":"Tweag","id":"UCI1Z201n-8OelkSg0DVOsng","thumbnails":[{"url":"https://yt3.ggpht.com/ytc/APkrFKaE8UZYZk3RmJE4MOiOj_tY3puf0b7RRBPr7jl1=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}],"link":"https://www.youtube.com/channel/UCI1Z201n-8OelkSg0DVOsng"}
{"title":"@rae: Update on Dependent Haskell by Tweag 2,844 views 2 years ago 9 minutes, 46 seconds","duration":"9 minutes, 46 seconds"}