Open chsievers opened 9 years ago
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.
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.