Eliza Brandt
121
reputation
3
Haskell and dependent types, mostly, but if other things are interesting enough...