We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Found as part of #1633
We're incorrectly adding a ' after x in fun x -> fun (()) -> x
'
x
fun x -> fun (()) -> x
In the full evaluator evaluation works correctly.
In the stepper we have the incorrect free x'
x'
