[hjek]

> Haskell and Pascal, how embarassing to miss those

and Curry, while we're at it, https://curry-lang.org/