28 Jun
2021
28 Jun
'21
7:09 a.m.
`[ x, y, z | zs ]` is also valid; [...] That structure is particularly ugly in Haskell syntax.
how so? `x : y : z : zs` Prolog list syntax is ugly here because the "cons" operator (|) needs special parentheses. Well, a similar thing in Haskell ist the ".." (enumFromTo) operator. For syntactic generality, you could go full Agda https://agda.readthedocs.io/en/v2.6.0.1/language/mixfix-operators.html but I'm not sure whether brackets could be "name parts" - J.W.