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
  Andreas Abel f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] 6 anos atrás
  Andreas Abel e9bdbf5175 [ loc ] exclude test/bugs 8 anos atrás
  Andreas Abel a87cc80605 Lines of code also for .agda files (size of testsuite). 9 anos atrás