1 reputation
1

Irene Knapp

Haskeller and Idris-er by avocation; PHPer by vocation. Interested in dependent types, databases, natural-language processing, and automated code-refactoring tools.

Keeping a low profile.

This user hasn't posted... yet.

Badges (1)

Gold
Silver
Bronze 1

Rarest