Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric | Type Theory Forall | Podwise

Podcast Cover

27 Mar 2022

1h 16m

#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

Type Theory Forall

Type Theory Forall - #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval