326 reputation
1 1

Paolo Capriotti

PhD student. Experience with: Haskell, Agda, Ruby, Python, C++.