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