| 2025-01-15 00:01:22 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-01-15 00:02:00 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 00:07:37 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:09:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:10:15 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 248 seconds) |
| 2025-01-15 00:10:37 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 00:11:56 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:15:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 00:18:03 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 00:24:14 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:24:19 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-01-15 00:25:38 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2025-01-15 00:26:40 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 00:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:29:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 00:30:24 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:31:07 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2025-01-15 00:31:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 00:34:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-15 00:36:57 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-15 00:42:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:49:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-15 00:50:40 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-15 00:52:53 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 00:53:47 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 00:54:04 +0100 | euleritian | (~euleritia@dynamic-176-006-128-233.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 00:54:28 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:54:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 00:54:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-15 00:55:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:55:34 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-15 01:00:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:04:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 01:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 01:10:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-15 01:14:12 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 01:15:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:19:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 01:20:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 01:25:21 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 01:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:32:50 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 01:33:42 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 01:35:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 01:35:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 01:35:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 01:39:24 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 01:39:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) (Ping timeout: 252 seconds) |
| 2025-01-15 01:39:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-15 01:39:58 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-15 01:44:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 01:46:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:49:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-15 01:51:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 01:51:50 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 02:02:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:07:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 02:09:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-01-15 02:13:11 +0100 | sprotte24 | (~sprotte24@p200300d16f2d39009dedd0cca2feaedd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 02:17:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:24:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 02:24:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 02:28:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 02:30:17 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 02:32:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 02:33:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 02:34:10 +0100 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 02:34:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 02:35:43 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-15 02:35:48 +0100 | otto_s | (~user@p5b044c54.dip0.t-ipconnect.de) |
| 2025-01-15 02:36:09 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-15 02:36:09 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 02:36:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 02:39:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:39:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:39:30 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:42:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 02:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 02:44:35 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:44:50 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:45:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 02:46:54 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 02:47:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 02:54:38 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-15 02:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:56:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 02:57:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 02:59:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 02:59:55 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 03:00:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 03:06:35 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-01-15 03:10:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:10:37 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-15 03:11:17 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:28c7:5c1b:9c00:9e1b) (Ping timeout: 244 seconds) |
| 2025-01-15 03:13:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-15 03:14:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 03:19:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 03:21:13 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 03:22:00 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 03:25:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:26:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-15 03:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 03:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 03:40:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-15 03:41:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 03:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:45:10 +0100 | Square | (~Square@user/square) Square |
| 2025-01-15 03:45:16 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 03:45:32 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 03:45:39 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 246 seconds) |
| 2025-01-15 03:46:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 03:47:45 +0100 | <Guest1364> | What's with deepseq 1.6.0.0 (highest revision, next is 1.5.1.0) being deprecated? |
| 2025-01-15 03:48:53 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-15 03:49:57 +0100 | <Guest1364> | nvm, searching 1.6.0.0 verbatim in the issues (not 1.6 or variations thereof) brought up https://github.com/haskell/deepseq/issues/102 |
| 2025-01-15 03:51:04 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-01-15 03:52:48 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-01-15 03:52:58 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-15 03:53:00 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-15 03:53:00 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-15 03:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:01:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 04:05:38 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 04:08:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-15 04:12:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:15:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 04:19:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-15 04:30:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:35:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:36:22 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 04:39:43 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 04:39:43 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 04:43:01 +0100 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-01-15 04:43:11 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 04:43:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-15 04:46:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:49:41 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 04:50:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:50:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 04:55:42 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 252 seconds) |
| 2025-01-15 05:01:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:05:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 05:16:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:21:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 05:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:34:21 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-15 05:37:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 05:43:15 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 05:43:47 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 05:47:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:54:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 05:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:02:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 06:06:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 06:13:42 +0100 | rosco | (~rosco@183.171.104.221) rosco |
| 2025-01-15 06:15:33 +0100 | fireking04 | (~fireking0@115.146.239.146) fireking04 |
| 2025-01-15 06:16:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:17:17 +0100 | fireking04 | (~fireking0@115.146.239.146) (Client Quit) |
| 2025-01-15 06:21:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-15 06:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:32:39 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-15 06:35:55 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 06:37:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 06:41:40 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 06:45:53 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 06:46:21 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 06:47:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:47:52 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 06:48:53 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-15 06:49:24 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-01-15 06:52:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 06:52:18 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 06:54:53 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-15 06:54:55 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2025-01-15 06:56:37 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-01-15 06:58:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:59:16 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-01-15 07:06:14 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-01-15 07:07:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 07:09:11 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:09:35 +0100 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-01-15 07:10:59 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2025-01-15 07:13:48 +0100 | rosco | (~rosco@183.171.104.221) (Quit: Gotta go.) |
| 2025-01-15 07:15:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 07:15:09 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-15 07:15:15 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-15 07:17:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 07:17:43 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:18:16 +0100 | foul_owl | (~kerry@185.203.219.80) (Read error: Connection reset by peer) |
| 2025-01-15 07:18:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 07:18:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:19:04 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-15 07:20:10 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:21:35 +0100 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) |
| 2025-01-15 07:22:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 07:23:19 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2025-01-15 07:26:31 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-01-15 07:26:48 +0100 | Square | (~Square@user/square) Square |
| 2025-01-15 07:26:58 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-15 07:29:45 +0100 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:30:02 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:30:57 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-15 07:31:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 07:31:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 07:32:19 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-01-15 07:33:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:34:41 +0100 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-01-15 07:38:39 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:40:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 07:41:26 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-15 07:42:02 +0100 | <Axman6> | Is there an easy way to build local haddock docs for a/all dependencies of my project? I'm using a newer version than is on hackage and it seems to have changed a lot. I've tried using `cabal haddock-project` but it doesn't include my project's direct deps (but for some reason includes a bunch of packages shipped with GHC) |
| 2025-01-15 07:42:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:45:08 +0100 | <Leary> | Axman6: If you're using nix, it can build you a hoogle indexing haddocks for a project and its transitive deps. |
| 2025-01-15 07:46:43 +0100 | <jackdk> | Axman6: what if you put `documentation: True` in `cabal.project{,.local}`? |
| 2025-01-15 07:49:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:52:55 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-15 07:53:34 +0100 | <Axman6> | I have documentation: true but I can't tell where the docs should end up |
| 2025-01-15 07:54:24 +0100 | <Axman6> | I can find the docs for my package but not the deps |
| 2025-01-15 07:56:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 07:56:36 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 07:57:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:59:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:59:47 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 08:01:30 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:02:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:05:00 +0100 | <Leary> | I think they should just end up in the store. To find them, you can follow a link from your own haddocks or go spelunking. |
| 2025-01-15 08:10:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:11:15 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-15 08:11:26 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:11:29 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 08:13:24 +0100 | <haskellbridge> | <maerwald> why there is no 'folding1' in lens? |
| 2025-01-15 08:13:56 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 08:15:29 +0100 | <haskellbridge> | <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled |
| 2025-01-15 08:16:01 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 08:17:26 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 08:18:04 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-15 08:20:46 +0100 | <c_wraith> | maerwald: you could write one by hand. |
| 2025-01-15 08:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:25:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 08:26:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 08:37:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:38:05 +0100 | <haskellbridge> | <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely |
| 2025-01-15 08:38:57 +0100 | <haskellbridge> | <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab |
| 2025-01-15 08:40:21 +0100 | <haskellbridge> | <maerwald> one of them always has an element |
| 2025-01-15 08:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:43:51 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-01-15 08:45:16 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-15 08:45:48 +0100 | <c_wraith> | Ah, I see. That does pose a challenge. |
| 2025-01-15 08:47:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 08:47:27 +0100 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
| 2025-01-15 08:49:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:49:14 +0100 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-01-15 08:49:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:49:42 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-15 08:51:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-15 08:51:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:51:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:52:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:55:07 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-01-15 08:55:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 08:55:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 08:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-15 09:00:36 +0100 | kenran | (~void@user/kenran) kenran |
| 2025-01-15 09:00:36 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 09:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 09:06:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 09:16:23 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-15 09:16:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-01-15 09:24:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:26:54 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-15 09:28:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:29:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:32:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 09:37:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 09:45:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 09:48:16 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-15 09:50:32 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 09:58:12 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 09:58:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 10:00:17 +0100 | <jackdk> | https://github.com/ekmett/lens/issues/1015 |
| 2025-01-15 10:01:44 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 10:02:28 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 10:03:23 +0100 | <Hecate> | heya jackdk |
| 2025-01-15 10:03:23 +0100 | <Hecate> | what's up? |
| 2025-01-15 10:03:32 +0100 | <jackdk> | Hecate: sup? |
| 2025-01-15 10:03:43 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 10:05:51 +0100 | <jackdk> | hacking the amazonka generator, about to go for a climb, you? |
| 2025-01-15 10:07:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 10:08:28 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2025-01-15 10:16:25 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-15 10:19:49 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 10:23:36 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 10:26:51 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2025-01-15 10:31:38 +0100 | akegalj | (~akegalj@142-231.dsl.iskon.hr) akegalj |
| 2025-01-15 10:32:42 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 10:32:42 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Remote host closed the connection) |
| 2025-01-15 10:32:59 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 10:33:02 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-15 10:34:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-01-15 10:36:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 10:39:18 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 10:39:54 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 10:40:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-15 10:42:19 +0100 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 10:42:20 +0100 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) |
| 2025-01-15 10:44:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 10:49:37 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-15 10:52:12 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-15 10:52:18 +0100 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) kuribas |
| 2025-01-15 10:52:37 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 10:53:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 10:53:55 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Ping timeout: 252 seconds) |
| 2025-01-15 10:53:55 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 10:54:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-15 10:57:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 11:00:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-15 11:00:44 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:04:13 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 11:10:23 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 11:15:28 +0100 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 11:18:22 +0100 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) (Quit: Page closed) |
| 2025-01-15 11:20:25 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-15 11:21:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 11:22:21 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2025-01-15 11:23:15 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-15 11:24:10 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:28:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 11:29:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-15 11:31:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 11:32:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) |
| 2025-01-15 11:33:28 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-15 11:35:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-15 11:36:45 +0100 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) (Ping timeout: 276 seconds) |
| 2025-01-15 11:41:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-15 11:41:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:47:50 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-01-15 11:48:14 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-15 11:51:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 11:54:55 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 11:54:55 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 11:55:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) (Ping timeout: 265 seconds) |
| 2025-01-15 11:57:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:01:05 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:07:17 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 12:09:34 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 12:12:13 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:14:27 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:14:44 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:14:50 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:15:12 +0100 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) |
| 2025-01-15 12:15:20 +0100 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:15:31 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-15 12:15:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 12:16:01 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:18:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-15 12:18:55 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:19:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 12:19:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 12:21:43 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:21:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:22:25 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 12:22:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 12:25:15 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:25:15 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 12:25:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-15 12:27:02 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:28:39 +0100 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) |
| 2025-01-15 12:30:05 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:33:33 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:35:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 12:39:34 +0100 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 12:41:27 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2025-01-15 12:46:23 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-15 12:48:27 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Quit: Client closed) |
| 2025-01-15 12:48:33 +0100 | Typedfern | (~Typedfern@106.red-83-37-34.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-01-15 12:51:11 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:52:56 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 12:58:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-15 12:59:09 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 13:01:59 +0100 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 13:03:25 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 13:03:51 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Client Quit) |
| 2025-01-15 13:05:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) alexherbo2 |
| 2025-01-15 13:05:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) |
| 2025-01-15 13:05:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 13:12:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 13:12:15 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d) ubert |
| 2025-01-15 13:15:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 13:15:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 13:15:54 +0100 | tnt2 | tnt1 |
| 2025-01-15 13:20:05 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 13:22:46 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:24:18 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 13:25:39 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:28:28 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:30:01 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 13:30:47 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:33:15 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:35:33 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 13:36:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:38:48 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 13:39:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:40:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:42:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:43:20 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 13:45:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:46:01 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-15 13:47:15 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:50:23 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-01-15 13:51:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:51:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:52:54 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 13:54:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:54:25 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-01-15 13:55:02 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:55:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:58:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:58:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 14:00:34 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 14:02:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 14:04:31 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 14:05:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 14:06:05 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-15 14:06:22 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-15 14:09:15 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 2025-01-15 14:10:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 14:15:44 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 14:18:12 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-01-15 14:20:28 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-15 14:21:21 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 14:23:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-15 14:30:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-15 14:41:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 14:43:47 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 14:43:49 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-15 14:50:41 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 15:00:54 +0100 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 2025-01-15 15:02:27 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-15 15:03:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 15:05:46 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 15:14:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 15:20:57 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 2025-01-15 15:22:48 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 15:24:23 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 15:39:00 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-15 15:45:05 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-15 15:51:52 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 15:52:38 +0100 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 16:07:00 +0100 | <pounce> | why the heck is this code `M a -> M a` instead of `M ()` :/ |
| 2025-01-15 16:08:41 +0100 | <int-e> | :t this code |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | error: Variable not in scope: this :: t0 -> t |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | error: |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | • Variable not in scope: code |
| 2025-01-15 16:11:10 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 16:11:25 +0100 | <pounce> | :? |
| 2025-01-15 16:15:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 16:17:20 +0100 | <enikar> | pounce: which code? |
| 2025-01-15 16:19:07 +0100 | <pounce> | this: https://github.com/agda/cornelis/blob/master/src/Cornelis/Agda.hs#L118 |
| 2025-01-15 16:19:38 +0100 | <pounce> | it always returns `m` anyway, so why call `withAgda m` when you could just `withAgda' >> m` |
| 2025-01-15 16:21:31 +0100 | <pounce> | by monad laws / parametricity `forall a . M a -> M a` and `M ()` are equivalent... no? |