Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy

História revízii

Autor SHA1 Správa Dátum
  ulfn 76730c04f7 fixed broken benchmark examples 10 rokov pred
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 rokov pred
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 rokov pred