Fabian Schneider
101
reputation
4
student of CS fascinated by Haskell, Type and Category Theory and logic