A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines - View it on GitHub