4 ms·

Here is another one by Thorsten Altenkirch: http://www.cs.nott.ac.uk/~txa/g53cfr/ http://www.cs.nott.ac.uk/~txa/g53cfr/

• 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/
• jdn 13y ago
  Sadly this module has been killed by the department and is no longer available to students
  • mietek 13y ago
    Do you know what's the backstory?
    • jdn 13y ago
      To the killing? It was partly replaced by G52IFR, which focuses on Coq, and also partly because the university seems to enjoy killing off modules from departments that don't do HCI. Human-computer interaction is currently eating the department.
• hsmyers 13y ago
  Useful link from sited link: http://wiki.portal.chalmers.se/agda/pmwiki.php http://wiki.portal.chalmers.se/agda/pmwiki.php