Adding support for the reverse application operator |>
type:added
Choose one type from the previous list. "None" gonna avoid the creation of changelog entry.
The reverse application operator is hardwired by popular demand. Ideally, we need a mechanism in LIGO to enable users to define their own operators, like in Coq. We leave this to another MR (together with the removal of several native operators). This MR is an exercise for Nicolas in extending the front-end in a simple manner.
Changelog details:
Added support for the reverse application operator |>
Edited by Nicolas Phan