Irene Knapp
145
reputation
8
Haskeller by vocation and avocation; Idris-er for fun. Interested in dependent types, databases, natural-language processing, and automated code-refactoring tools.