Corecursive is pretty good. Haven't listened recently, really enjoyed these two: https://corecursive.com/021-gods-programming-language-with-philip-wadler/ http

Corecursive is pretty good. Haven't listened recently, really enjoyed these two: https://corecursive.com/021-gods-programming-language-with-philip-wadler/ https://corecursive.com/021-gods-programming-language-with-p... https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/ https://corecursive.com/006-type-driven-development-and-idri...