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)

g0ttfrid
Gottfrid Archibald
parad0x
Andrei Shevtsov
morrisonharbert
morrison harbert
amandanicon
Amanda Niconovich
sometimesfood
Sebastian Boehm
amaddteen2005qg
Vonnie Ketter
geelavanyul
Yumashev Florentiy
bufordclark
Buford Clark
val6vhsa
Val Santory