1 hr 17 min

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

    • Technology

Nitin and Eric

Nitin and Eric

1 hr 17 min

Top Podcasts In Technology

Lex Fridman
Jason Calacanis
NPR
Jack Rhysider
PJ Vogt
Gimlet