Fabian Schneider

757
reputation
1
10
36

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