jozefg

United States

jozefg.bitbucket.org

Age: 17

I am a student who enjoys PLT, type theory, and functional programming. Mostly I write Haskell, sometimes Agda, Scheme, or Ruby.

I like compilers and formal verification (mostly in Coq) too.