harms
8,678
reputation
4
29
27
mostly interested in objective-c, wpf, c#, f#, ml, functional programming, hindley-milner type systems, prolog, language design and mathematical logic.