Change representation of polymorphism in ReLigo/JsLigo
Following the changes made in Cameligo and Pasaligo. We want to remove the _a
notation in type and replace it with proper
polymorphic/template function notation.
This will allow to modify the abstractor to represent the polymorphism for an E_abstraction
(big_lambda) instead of using a forall type
(T_for_all).
Notation for ReasonLigo and JsLigo are to be defined but should be as close as possible from what already exist in ReasonML/TS (if applicable). discution on the syntax is already present in https://gitlab.com/ligolang/ligo/-/issues/1350