|visits||member for||2 years, 2 months|
|seen||Nov 14 at 1:39|
I am a student who enjoys PLT and functional programming. Mostly I write Haskell, sometimes Clojure, Scheme, Common Lisp or Ruby.
I like compilers and formal verification (mostly in Coq) too.
|bio||website||dannygratzer.com||visits||member for||2 years, 2 months|
|location||United States||seen||Nov 14 at 1:39|