romac

1,627
reputation
1
10
10

CS undergrad at EPFL ยท Haskell, Scala, and type theory enthusiast