Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd_patch
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Nils Anders Danielsson c92b799692 Files given on the command line must now be on the include path. hace 15 años
  ulfn 932d196be4 Module name file name correspondence is now enforce also for the main module hace 16 años
  ulfn 85fda05aec minor fix in syntax example hace 19 años
  ulfn 62803d6dd0 literate example file modifications hace 19 años
  ulfn 379e8124ce literate agda example hace 19 años