Just the lack of syntax and type checking is a serious burden on folks who don't have those committed to muscle memory. That said, that's the easiest part of m

Just the lack of syntax and type checking is a serious burden on folks who don't have those committed to muscle memory. That said, that's the easiest part of mathematics.