Dependent Types (@dependent_types) 's Twitter Profile
Dependent Types

@dependent_types

Mostly an automated feed from the Dependent Types reddit

ID: 60025947

linkhttp://www.reddit.com/r/dependent_types/ calendar_today25-07-2009 09:50:11

1,1K Tweet

1,1K Followers

2 Following