3 ms·Programming Languages: Build, Prove, and Compare1 points by teleforce 4y agoRochus 4y agoShould rather be called "Introduction to Programming Languages for Mathematicians".