Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  ulfn 76730c04f7 fixed broken benchmark examples 10 anni fa
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 anni fa
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 anni fa