Vi and Vim Stack Exchange
Vi and Vim Stack Exchange

Wolfgang Jeltsch
355
reputation
1
2
11
  • Tallinn, Estonia
  • Member since October 25 2016
  • 8 profile views
  • Last seen Feb 17 '24 at 21:01

I’m passionate about functional programming, logic, type theory, category theory, and more.