Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit Verlauf

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