I’m working to support the OCaml ecosystem at Tarides. I program in the logic and functional paradigms when I can. I study philosophy, logic, and PLT to help orient and coordinate my efforts in life.