Página inicial Explorar Ajuda
Entrar
caryoscelus
/
agda
Observar 1
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Histórico de commits

Autor SHA1 Mensagem Data
  ulfn 76730c04f7 fixed broken benchmark examples 10 anos atrás
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 anos atrás
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 anos atrás