Eliza Brandt

121
reputation
3

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