Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Nils Anders Danielsson 683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →). před 16 roky
  ulfn f4fe820a6a summer school lecture changes před 17 roky
  ulfn 7b73f4f99c tidying up of summer school lecture před 17 roky
  ulfn fcb18126a2 summer school lecture před 17 roky