These are my notes on Thomas VanDrunen's Discrete Mathematics and Functional Programming. My primary goal is to learn Discrete Math where the presentation is geared toward programmers, secondarily to learn some OCaml syntax. So far, these are notes for code that I run in the REPL, so no guarantees that they will output anything when compiled and run.
This is really much more pleasant with Emacs, Tuareg, and Merlin than with VSCode and the tools for that.
If you are using OCaml with Discrete Mathetics and Functional Programming, as I have been, perhaps you will find this helpful.
Sigh, sorry, I know in OCaml snake_case instead of (omg!) camelCase. But the book uses camelCase.
If you know a good way of getting SML set up on Fedora that does not involve compiling from source, I would appreciate your help. Yes, I am aware of SOSML.