Right-associative :|? #6
Description
Would it be useful to define :| to be right-associative? This would enable something like this:
0 :| 1 :| 2 :| []{{ message }}
Right-associative
:|? #6Would it be useful to define :| to be right-associative? This would enable something like this:
0 :| 1 :| 2 :| []