Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd_patch
Gałęzie Tagi

Historia zmian

Autor SHA1 Wiadomość Data
  ulfn 76730c04f7 fixed broken benchmark examples 10 lat temu
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 lat temu
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 lat temu