4 ms·
There's a discrete math course that uses types/proving in ML https://cs.wheaton.edu/~tvandrun/dmfp/ https://cs.wheaton.edu/~tvandrun/dmfp/
by hackermailman 8y ago
There's a discrete math course that uses types/proving in ML
https://cs.wheaton.edu/~tvandrun/dmfp/ https://cs.wheaton.edu/~tvandrun/dmfp/