No.008 The 14th Agda Implementors Meeting

Icon

Shonan Meeting Seminar 008

Seminar Schedule

AIM14TimeTable

Category: Uncategorized

Tagged:

One Response

  1. Makoto Takeyama says:

    The pages for AIM14 is being updated at
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXIV.ProgramEtc