Newest at the top
2025-05-31 17:43:17 +0200 | <monochrom> | Maybe one may make a case that empty arrays should be banned, but there are all kinds of contexts in which empty ranges are legitimate. |
2025-05-31 17:42:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-31 17:42:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:42:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:40:36 +0200 | <EvanR> | let you have empties |
2025-05-31 17:40:24 +0200 | <EvanR> | if instead we're talking about cells on a euclidean plane, then x coordinate of boundaries would |
2025-05-31 17:39:54 +0200 | <EvanR> | if what goes in the range is really indexes, and a <= b, then it just means it can't be empty which makes more sense |
2025-05-31 17:39:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-05-31 17:35:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:34:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:32:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-31 17:31:35 +0200 | <monochrom> | That is either why (first, length) or (first, last + 1) is better than (first, last), or why indexes are Int not Word. |
2025-05-31 17:27:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:27:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-31 17:27:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:21:10 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Ping timeout: 260 seconds) |
2025-05-31 17:20:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:19:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:19:51 +0200 | gAy_Dragon | GAy_Dragon |
2025-05-31 17:16:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-31 17:16:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-31 17:12:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:12:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:11:47 +0200 | jespada | (~jespada@r167-61-121-163.dialup.adsl.anteldata.net.uy) jespada |
2025-05-31 17:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-31 17:11:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-31 17:07:10 +0200 | jespada | (~jespada@r190-133-40-75.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
2025-05-31 17:06:03 +0200 | ChanServ | +v haskellbridge |
2025-05-31 17:06:03 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
2025-05-31 17:04:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 17:03:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 17:02:23 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
2025-05-31 17:01:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-31 16:57:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 16:57:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 16:52:04 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-05-31 16:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-31 16:51:11 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-05-31 16:51:08 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-05-31 16:50:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-31 16:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-31 16:49:56 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-05-31 16:49:55 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-05-31 16:49:19 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-05-31 16:49:18 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-05-31 16:48:42 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-05-31 16:48:40 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-05-31 16:48:38 +0200 | catties | (~catties@user/meow/catties) catties |
2025-05-31 16:48:04 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-05-31 16:48:03 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |