There's a discrete math course that uses types/proving in ML https://cs.wheaton....

		hackermailman on July 26, 2018 \| parent \| context \| favorite \| on: The Best Textbooks on Every Subject There's a discrete math course that uses types/proving in ML https://cs.wheaton.edu/~tvandrun/dmfp/