caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Wen Kokke	0f4538c8dc First step of float revision (see #4868)	%!s(int64=4) %!d(string=hai) anos
Philipp Hausmann	04900758c8 [ test ] Fix test fallout from float changes.	%!s(int64=8) %!d(string=hai) anos
Andrés Sicard-Ramírez	c86cbe03c4 [ test-suite ] Renamed `nan` to `NaN` and `inf` to `Inf`.	%!s(int64=8) %!d(string=hai) anos
Ulf Norell	c06b0d56ca [ #2218 ] fixed for ghc backend	%!s(int64=8) %!d(string=hai) anos