parsing function application in poly #34
Description
This is not parsed in the expected way in poly and poly_constraints:
(\f -> f 0 + f 1)
(\f -> if f 0 then f 1 else f 2)
It works with parens around the function applications.
{{ message }}
This is not parsed in the expected way in poly and poly_constraints:
(\f -> f 0 + f 1)
(\f -> if f 0 then f 1 else f 2)
It works with parens around the function applications.