Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

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

Podcast Cover

23 Dec 2021

1h 39m

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

Type Theory Forall

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

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval