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
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 anos atrás
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. 12 anos atrás
  Andreas Abel 6480546762 Parsing copatterns. 13 anos atrás
  Andreas Abel a385f9e26b New option --copatterns. 13 anos atrás