Home Verkennen Help
Inloggen
caryoscelus
/
agda
Volgen 1
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Aftakking: js_amd_patch
Aftakkingen Labels

Commit History

Auteur SHA1 Bericht Datum
  ulfn 76730c04f7 fixed broken benchmark examples 10 jaren geleden
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 jaren geleden
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 jaren geleden