From TODO note in the repository:
"Need to store a varset with each variable in interactive mode. Otherwise, type variables lose their names and, critically, their bindings."
This is probably sufficient to fix this bug.
From TODO note in the repository:
"Need to store a varset with each variable in interactive mode. Otherwise, type variables lose their names and, critically, their bindings."
This is probably sufficient to fix this bug.