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

Cronologia Commit

Autore SHA1 Messaggio Data
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 anni fa
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 anni fa