3 ms·

I took Martin Escardo’s course on functional programming at university. Nothing but positive things to say about the man. A fantastic teacher with a real care f

by amicin 6y ago

I took Martin Escardo’s course on functional programming at university. Nothing but positive things to say about the man. A fantastic teacher with a real care for his students. Makes me happy to see him on HN.

m_j_g 6y ago
You may be interested in his brand new course on HoTT in Agda https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes...