User MLavrentyev - Stack Overflow

MLavrentyev

1,704

reputation

United States
Member since April 12 2015
183 profile views
Last seen May 14 '22 at 23:13

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.