Newest at the top
2025-01-22 10:06:02 +0100 | <kqr> | opqdonut, Wait, yeah, that does exactly what I need. I think when I tested it I accidentally gave it the wrong boolean and then never stopped to think it through again. Thanks! |
2025-01-22 10:02:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-01-22 09:57:46 +0100 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
2025-01-22 09:56:10 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-01-22 09:54:45 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-01-22 09:53:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2 |
2025-01-22 09:49:09 +0100 | <opqdonut> | kqr: showFixed, "First arg is whether to chop off trailing zeros" |
2025-01-22 09:48:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9071ccd1d777a13b28.dip0.t-ipconnect.de) acidjnk |
2025-01-22 09:41:11 +0100 | <kqr> | I feel like I'm missing something obvious here. I have a Data.Fixed number, and I want to stringify it with just the precision needed. I.e. something like 200 becomes "200", 5 becomes "5", while 0.1 becomes "0.1", and 0.003 is "0.003". I could do this manually, of course, but there ought to be something to help me, right? |
2025-01-22 09:40:04 +0100 | <kqr> | Oops, premature return. Sorry! |
2025-01-22 09:39:59 +0100 | <kqr> | I feel like I' |
2025-01-22 09:39:06 +0100 | Square | (~Square@user/square) Square |
2025-01-22 09:35:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-01-22 09:29:59 +0100 | tnt2 | tnt1 |
2025-01-22 09:29:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
2025-01-22 09:29:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-22 09:28:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-01-22 09:27:58 +0100 | kuribas | (~user@ptr-17d51emnohepwfpyix2.18120a2.ip6.access.telenet.be) kuribas |
2025-01-22 09:27:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-01-22 09:25:11 +0100 | euleritian | (~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de) |
2025-01-22 09:24:35 +0100 | euleritian | (~euleritia@dynamic-176-006-129-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-01-22 09:24:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-22 09:22:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-01-22 09:22:25 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:5054:ff:fee3:b667) dtman34 |
2025-01-22 09:22:04 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2025-01-22 09:12:05 +0100 | acidjnk | (~acidjnk@p200300d6e7283f902c848c46912cda18.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-01-22 09:10:33 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-01-22 09:10:08 +0100 | tnt2 | tnt1 |
2025-01-22 09:10:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
2025-01-22 09:08:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-22 09:02:32 +0100 | <[exa]> | wow, cool news from microhs. One could ask if microhs could bootstrap ghc then |
2025-01-22 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-22 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-22 08:55:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-01-22 08:54:25 +0100 | igemnace_ | igemnace |
2025-01-22 08:50:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-01-22 08:47:27 +0100 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-01-22 08:47:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 276 seconds) |
2025-01-22 08:43:42 +0100 | bgamari | (~bgamari@64.223.233.64) |
2025-01-22 08:42:18 +0100 | bgamari | (~bgamari@64.223.233.64) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-01-22 08:39:04 +0100 | tnt2 | tnt1 |
2025-01-22 08:39:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2025-01-22 08:37:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-22 08:37:41 +0100 | agent314 | (~quassel@208.131.130.89) agent314 |
2025-01-22 08:37:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-01-22 08:33:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2025-01-22 08:33:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-22 08:29:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-22 08:27:11 +0100 | Square2 | (~Square4@user/square) Square |
2025-01-22 08:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |