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

Historial de Commits

Autor SHA1 Mensaje Fecha
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. hace 15 años
  ulfn 5968d8f8e8 minor fixes to examples hace 18 años
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic hace 18 años