|visits||member for||2 years, 5 months|
|seen||Oct 14 at 23:26|
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.
|bio||website||jozefg.bitbucket.org||visits||member for||2 years, 5 months|
|location||United States||seen||Oct 14 at 23:26|
2 Votes Cast
|all time||by type|