Solutions to problem sets by Vandrunen from his book Discrete Mathematics and Functional Programming.
NOTE: The sml compiler is pretty finnicky. You might try using an online editor for immediate (and more reliable) feedback before transferring it to VSCode.