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 2d44fa877a syntax change: using/hiding lists are separated by ; 18 anos atrás
  ulfn d39f5a151d inductive families in libraries 18 anos atrás
  ulfn 671702ec53 more work on the library 18 anos atrás