It is nicely done; the implementation is indeed simple and easy to read! It hopefully will make more language implementors understand. I guess comparing it to

It is nicely done; the implementation is indeed simple and easy to read! It hopefully will make more language implementors understand. I guess comparing it to BASIC is not good as this is complex matter: languages like Idris that have a vastly more complex implementation but therefore also a nice (imho) syntax, are still hard for most without theoretical background (I was raised and educated by Dijkstra pupils so it was pounded into me from very young); I found The Little Typer a good read on the subject, but that might be impossible for people without background as well; I cannot really estimate that.