[nequo]

Most academics don’t have as many interviews and talks uploaded with them as SPJ but check out Stephanie Weirich’s Strange Loop talk[1] and interview on Corecursive.[2]

[1] https://youtube.com/watch?v=wNa3MMbhwS4

[2] https://corecursive.com/015-dependant-types-in-haskell-with-...