j
k
j a
j l
Jules,
It's a data constructor, written infix. Infix constructors all begin with ':', I think.
That's correct. Regards, Stefan
Back to the thread
Back to the list
