-
POGODALLA Sylvain authored
nl_lexicon now restricts the non linear interpretation to the interpretation of -> and lambda at the abstract level. It is the user's responsability to have Lambda's and => in the lexicon and in the object signature when required. Fixes #12
4a19f6fd