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 2f4f19bc49 Modified semantics of 'open import M args' such that M does not get added to the scope. 12 anos atrás
  Andreas Abel 240a09d524 Parse 'open import Module args using/hiding/renaming'. 12 anos atrás