551 reputation
211
bio website
location
age
visits member for 4 years, 1 month
seen 2 days ago

Dec
1
accepted What is the point of making a syntactic distinction between standard and user-defined types?