Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit History

Author SHA1 Message Date
  Wen Kokke 0f4538c8dc First step of float revision (see #4868) 4 years ago
  Philipp Hausmann 04900758c8 [ test ] Fix test fallout from float changes. 8 years ago
  Andrés Sicard-Ramírez c86cbe03c4 [ test-suite ] Renamed `nan` to `NaN` and `inf` to `Inf`. 8 years ago
  Ulf Norell c06b0d56ca [ #2218 ] fixed for ghc backend 8 years ago