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
  Nils Anders Danielsson c92b799692 Files given on the command line must now be on the include path. 15 anos atrás
  ulfn 932d196be4 Module name file name correspondence is now enforce also for the main module 16 anos atrás
  ulfn 85fda05aec minor fix in syntax example 19 anos atrás
  ulfn 62803d6dd0 literate example file modifications 19 anos atrás
  ulfn 379e8124ce literate agda example 19 anos atrás