Fix rendering of VFun in Shonkier.Pretty #37
Labels
bug
Something isn't working
good first issue
Good for newcomers
shonkier
Everything related to the language
At the moment we dump the
LocalEnv' a
and print the raw clauses. This isof course buggy, cf.
anonymous.gold
where the result of evaluating:is printed as
instead of
We can:
either print an explicit substitution (adding let-bindings to the
language would even allow us to make these valid syntax)
or perform the substitution before printing the clauses
The text was updated successfully, but these errors were encountered: