Haskeller by trade. Math and formal verification by hobby.