Newest at the top
2024-03-29 15:02:45 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
2024-03-29 14:58:49 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 255 seconds) |
2024-03-29 14:40:34 +0100 | jrm | (~jrm@user/jrm) |
2024-03-29 14:39:03 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2024-03-29 14:37:23 +0100 | df | (~ben@justworks.xyz) |
2024-03-29 14:20:41 +0100 | mmhat | (~mmh@p200300f1c706a223ee086bfffe095315.dip0.t-ipconnect.de) |
2024-03-29 14:20:19 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-03-29 14:18:33 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
2024-03-29 14:18:21 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
2024-03-29 13:46:58 +0100 | califax_ | califax |
2024-03-29 13:46:33 +0100 | hallucinagen | (~prodmezha@123.63.203.210) |
2024-03-29 13:45:54 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-03-29 13:45:43 +0100 | califax_ | (~califax@user/califx) |
2024-03-29 13:41:12 +0100 | magus3 | (~Thunderbi@2804:14c:65e4:8219:4056:ec55:c70d:fa8b) (Ping timeout: 256 seconds) |
2024-03-29 13:35:33 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 255 seconds) |
2024-03-29 13:26:33 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 13:25:38 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-03-29 13:23:48 +0100 | megaTherion | (~therion@unix.io) |
2024-03-29 13:22:12 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
2024-03-29 13:20:43 +0100 | magus3 | (~Thunderbi@2804:14c:65e4:8219:4056:ec55:c70d:fa8b) |
2024-03-29 13:20:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b2b:eb19:37de:d4bd) |
2024-03-29 13:16:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-03-29 13:13:22 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2024-03-29 13:11:31 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-03-29 13:11:05 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 13:08:42 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
2024-03-29 12:45:46 +0100 | mechap | (~mechap@user/mechap) |
2024-03-29 12:45:21 +0100 | mechap | (~mechap@user/mechap) (Max SendQ exceeded) |
2024-03-29 12:44:53 +0100 | mechap | (~mechap@user/mechap) |
2024-03-29 12:37:01 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
2024-03-29 12:29:43 +0100 | <Arsen> | ski: that seems to be the common theme yeah |
2024-03-29 12:28:06 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 256 seconds) |
2024-03-29 12:20:25 +0100 | __monty__ | (~toonn@user/toonn) |
2024-03-29 12:17:47 +0100 | tv | (~tv@user/tv) |
2024-03-29 12:14:33 +0100 | ncf | . o O ( is haskell indented or discodered? ) |
2024-03-29 12:13:10 +0100 | ski | would indent the opening braces more than the data constructors, fwiw, Arsen |
2024-03-29 12:10:49 +0100 | <lambdabot> | a -> b -> b |
2024-03-29 12:10:48 +0100 | <ski> | @type Control.Parallel.pseq |
2024-03-29 12:04:50 +0100 | tv | (~tv@user/tv) (Ping timeout: 268 seconds) |
2024-03-29 11:59:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-29 11:59:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-dd7f-585d-7bb4-4d97.rev.sfr.net) |
2024-03-29 11:56:53 +0100 | <[exa]> | tahnks a lot! |
2024-03-29 11:56:50 +0100 | <[exa]> | perfect |
2024-03-29 11:56:40 +0100 | <[exa]> | I'm planning to shallowly `seq` the stuff anyway before testing |
2024-03-29 11:56:35 +0100 | tt12310 | (~tt1231@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 260 seconds) |
2024-03-29 11:56:12 +0100 | <[exa]> | yeah that's ok for me |
2024-03-29 11:55:49 +0100 | <c_wraith> | ie, it won't evaluate its arguments, so two things that might be the same when evaluated would return 0# |
2024-03-29 11:55:48 +0100 | [exa] | wondering which case is positive and which is negative |
2024-03-29 11:55:16 +0100 | <c_wraith> | I think it can have false negatives, but not false positives. |
2024-03-29 11:54:29 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |