13
reputation
1

Eliza Brandt

Haskell and dependent types, mostly, but if other things are interesting enough...