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 (15)

hawkz
Stephen Hawkes
farwelelra
Nils Hendrik Burghardt
tiwiz
Roberto Orgiu
faisalreza
Faisal Reza
nushindi
Nus Hindi
piaheidrichkb
Pia Heidrich
dr460nf1r3
Nico Jensch
sunburntrock89
Rhys O'Kane
lukaspustina
Lukas Pustina