Greetings! I’m Ibung, a software engineer with broad interests in Haskell, functional programming, and formal maths.