3 ms·

Sadly I don't. I have only used SML for theorem proving and formal transformations from initial axioms to code.

• agumonkey 7y ago
  yeah it would be cool to explore some different domains with ml, outside the usual logic/fp thing