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_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  ulfn 76730c04f7 fixed broken benchmark examples před 10 roky
  ulfn c9ae0656cf made some changes to accomodate the new level representation před 13 roky
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. před 15 roky