Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd_patch
Branch-ok Tag-ek

Commit történet

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