Yep! I will get that fixed. Thank you for the feedback! If you find anything else, issues and feedback are also welcome on the issue tracking @ https://github.

Yep! I will get that fixed. Thank you for the feedback! If you find anything else, issues and feedback are also welcome on the issue tracking @ https://github.com/Saityi/a-tour-of-standard-ml/issues https://github.com/Saityi/a-tour-of-standard-ml/issues -- I'm primarily a backend engineer, and this is my first foray into frontend; even nitpicks like this are very welcome. :)