Wolfgang Jeltsch
575
reputation
1
3
16
I’m passionate about functional programming, logic, type theory, category theory, and more.