if for some reason (debugging, improvement, what-ever) you need to re-run it, it will (rightfully) fail with:
ng: typecheck: no new variables on left side of :=
we should perhaps have special hooks in the jupyter front-end to analyze the cell being re-run, detect variable declarations and delete those to make typecheck happy.
the alternative would be to disable typecheck (for variable declarations) in Jupyter.
but I personally would rather not.
in Jupyter, when one has a cell like this:
if for some reason (debugging, improvement, what-ever) you need to re-run it, it will (rightfully) fail with:
we should perhaps have special hooks in the jupyter front-end to analyze the cell being re-run, detect variable declarations and delete those to make
typecheck
happy.the alternative would be to disable
typecheck
(for variable declarations) in Jupyter. but I personally would rather not.