Fabian Schneider

799
reputation
1
13
40

student of CS fascinated by Haskell, Type and Category Theory and logic