BoydStephenSmithJr, I got around to adding bounds-checking to my interactive lambda-calculus toy: https://bss03.gitlab.io/halogen-lambda/
I need to change the bounds-checking component to use an AST next.
Then, step-wise evaluation, if bounds-checking passes.
I really like the #purescript #halogen framework for SPAs.