New Twitter Mentions for nitinjohnraj2

@nitinjohnraj2 was mentioned in #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

Type Theory Forall

@nitinjohnraj2 was mentioned in #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

Type Theory Forall

Filter by Podcast

• Type Theory Forall 2