On Fri, Aug 19, 2022 at 12:11:19PM +0200, Christian Grün scripsit:
It's great to see "arrow expressions" getting something easily findable in the documentation.
"Fat arrow" -- even "broad arrow" -- and "thin arrow" strike me as not being optimal choices of names.
Perhaps "parameter substitution arrow" and "function iteration arrow"? "substitution arrow" and "iteration arrow" for short?
Maybe the following GitHub issue will be reopened if you add a comment there?
Dunno!
I have added a comment there so perhaps we shall find out. :)
Thank you for the pointer; I had looked at the list and defered reading through them for the weekend.