Home » user account

bens

Personal information


Australia

male

I'm a professional Lisp programmer interested in languages, doing Haskell and Agda as well as Lisp on the side for fun.


EDSLs, compilers, dependent types.

History


14 years 30 weeks