https://github.com/SMLFamily/The-Definition-of-Standard-ML-Revised https://github.com/SMLFamily/The-Definition-of-Standard-ML-R... in case anyone else is hittin

https://github.com/SMLFamily/The-Definition-of-Standard-ML-Revised https://github.com/SMLFamily/The-Definition-of-Standard-ML-R... in case anyone else is hitting the GoDaddy landing page...