Echo Nolan

138
reputation
6

I've been writing Haskell since ca 2005. Interested in language implementations, software verification, type theory and machine learning.