551 reputation
211
bio website
location
age
visits member for 4 years, 7 months
seen May 20 at 9:22

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