MLavrentyev
1,827
reputation
2
24
32
I'm studying computer science at Brown University. Currently interested in functional programming languages, formal verification, and programming language design.
Quickly becoming a lover of Haskell, although Racket is good too.