codafi
Robert Widmann
Type Theory and Programming Languages
Pittsburgh, PA
Start a chat
Your conversation will be end-to-end encrypted.

Following (3)

c0deh4cker
C0deH4cker
tonyarnold
Tony Arnold
a2
Alex Akers

Followers (6)

danielctull
Daniel Tull
samritchie
Sam Ritchie
tonyarnold
Tony Arnold
kjcolley7
Kevin Colley
twk
Tim Kersey
a2
Alex Akers

Browse others (14)

tomjoad
Tom Joad
joedwards
Jo Edwards
hel_wer
Helton Wernik
edmarin
Eduardo Marín
eminacholich
Emina Cholich
arnoldveit
Leni Probst
sy_sussman
Sy Sussman
lavasozhs
Shipov Borislav
robertsonlexi
Leah Wilson
tortoiselife
tortoiselife
gutenye
Guten Ye
scottwl
Scott Bvl