3 ms·
Here is this month's intro course by Conor McBride: http://www.cl.cam.ac.uk/~ok259/agda-course-13/ http://www.cl.cam.ac.uk/~ok259/agda-course-13/
by mietek 13y ago
Here is this month's intro course by Conor McBride:
http://www.cl.cam.ac.uk/~ok259/agda-course-13/ http://www.cl.cam.ac.uk/~ok259/agda-course-13/