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
  Wen Kokke 0f4538c8dc First step of float revision (see #4868) hace 4 años
  Philipp Hausmann 04900758c8 [ test ] Fix test fallout from float changes. hace 8 años
  Andrés Sicard-Ramírez c86cbe03c4 [ test-suite ] Renamed `nan` to `NaN` and `inf` to `Inf`. hace 8 años
  Ulf Norell c06b0d56ca [ #2218 ] fixed for ghc backend hace 8 años