They use Haskell in any case [0]

[0] https://jacobin.com/2022/05/jacobin-is-looking-for-a-program...