Newest at the top
| 2024-12-28 09:32:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 09:29:15 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 09:27:24 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-28 09:23:35 +0100 | tnt2 | tnt1 |
| 2024-12-28 09:23:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-28 09:23:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-28 09:22:17 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 2024-12-28 09:20:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-28 09:16:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 09:15:11 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 09:14:46 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 2024-12-28 09:09:27 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 09:09:01 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 2024-12-28 09:08:46 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 09:05:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-28 09:04:20 +0100 | giost | (~giost@pool-72-74-37-230.bstnma.fios.verizon.net) (Leaving) |
| 2024-12-28 09:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-28 09:00:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 09:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-28 08:59:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-28 08:52:18 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-12-28 08:51:31 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-28 08:50:12 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-28 08:49:10 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2024-12-28 08:48:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-28 08:47:26 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 2024-12-28 08:46:15 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2024-12-28 08:45:39 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-28 08:44:19 +0100 | Milan | (~Milan@88.212.61.169) (Remote host closed the connection) |
| 2024-12-28 08:44:01 +0100 | Milan | (~Milan@88.212.61.169) |
| 2024-12-28 08:43:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 08:32:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-28 08:27:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 08:25:37 +0100 | ephilalethes | (~noumenon@202.186.200.33) (Read error: Connection reset by peer) |
| 2024-12-28 08:24:39 +0100 | housemate | (~housemate@pa49-199-79-186.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2024-12-28 08:21:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2024-12-28 08:18:42 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 08:14:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-28 08:08:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 08:07:32 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-12-28 08:06:55 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-12-28 08:02:12 +0100 | <c_wraith> | But they do hold for the parser combinator library in base! |
| 2024-12-28 08:01:23 +0100 | housemate | (~housemate@pa49-199-79-186.pa.vic.optusnet.com.au) housemate |
| 2024-12-28 08:01:18 +0100 | <haskellbridge> | <maerwald> well, distributive laws don't hold for Alternative even in core libs |
| 2024-12-28 08:01:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-28 08:00:35 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-12-28 08:00:19 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-12-28 07:58:32 +0100 | <c_wraith> | just give me simple distributive laws which don't have tons of cases. |
| 2024-12-28 07:57:46 +0100 | <c_wraith> | If I have to know that ((a <*> b) <|> (a <*> c)) is the same as (a <*> (b <|> c)), but ((a <*> c) <|> (b <*> c)) is not the same as ((a <|> b) <*> c), it's gone off the rails. |
| 2024-12-28 07:57:11 +0100 | <haskellbridge> | <maerwald> no idea what that means |