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