Eliza Brandt

338
reputation
2
13

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