1 hr 39 min

#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley Type Theory Forall

    • Technology

John Wiegley

John Wiegley

1 hr 39 min

Top Podcasts In Technology

Lex Fridman
Jason Calacanis
NPR
Jack Rhysider
PJ Vogt
Gimlet