Skip to content

Adding support for the reverse application operator |>

Christian Rinderknecht requested to merge rinderknecht@reverse_app into dev

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

Merge request reports

Loading