| 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? |
| 2025-01-15 16:23:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2025-01-15 16:24:06 +0100 | <Leary> | (no) |
| 2025-01-15 16:25:04 +0100 | <tomsmeding> | pounce: the former could run the monadic action multiple times |
| 2025-01-15 16:25:17 +0100 | <Leary> | The function could use its argument any number of times, interleaved with any number of other actions. |
| 2025-01-15 16:25:25 +0100 | <tomsmeding> | that |
| 2025-01-15 16:26:15 +0100 | <pounce> | which action? |
| 2025-01-15 16:26:15 +0100 | <tomsmeding> | Axman6: https://github.com/treblacy/hasdoc |
| 2025-01-15 16:26:16 +0100 | <tomsmeding> | pounce: the M a |
| 2025-01-15 16:26:20 +0100 | <tomsmeding> | :t \m -> m >> m >> m |
| 2025-01-15 16:26:21 +0100 | <lambdabot> | Monad m => m b -> m b |
| 2025-01-15 16:26:33 +0100 | <pounce> | ah right |
| 2025-01-15 16:26:55 +0100 | <pounce> | in any case this function doesn't |
| 2025-01-15 16:26:59 +0100 | <pounce> | so i think it's weird for it to have that definition |
| 2025-01-15 16:27:50 +0100 | <tomsmeding> | perhaps there was some cleanup code in an earlier version? |
| 2025-01-15 16:29:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 16:33:56 +0100 | <pounce> | this is all over this codebase though |
| 2025-01-15 16:34:53 +0100 | <pounce> | instead of `foo >>= \a -> b` it's `foo (\a -> b)` where `foo f = bar >>= f` |
| 2025-01-15 16:35:21 +0100 | <pounce> | why manually taking kleisli arrows instead of composing them normally |
| 2025-01-15 16:36:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-15 16:38:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-15 16:38:49 +0100 | <Leary> | It's more powerful. That's a bad thing in the sense that function signatures should be restrictive for ease of reasoning, but if you expect to actually need that power at some point, you can then use it without needing to refactor other code. |
| 2025-01-15 16:40:08 +0100 | <Leary> | In short, `withAgda` could get cleanup code added to it later, and the change would only need to be made in the definition of `withAgda`, nowhere else. |
| 2025-01-15 16:41:18 +0100 | <Leary> | s/In short,/E.g./ |
| 2025-01-15 16:41:42 +0100 | <pounce> | buh |
| 2025-01-15 16:42:00 +0100 | pounce | is now maintainer of this codebase |
| 2025-01-15 16:42:12 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-15 16:42:16 +0100 | <tomsmeding> | of the original or of your fork? |
| 2025-01-15 16:42:33 +0100 | <pounce> | i think type systems should be linear and m >> m shouldn't be allowed >_> |
| 2025-01-15 16:42:39 +0100 | <pounce> | tomsmeding: original |
| 2025-01-15 16:43:09 +0100 | <tomsmeding> | I think m >> m should be allowed :p |
| 2025-01-15 16:43:09 +0100 | <tomsmeding> | then go wild! |
| 2025-01-15 16:43:18 +0100 | <pounce> | no it's probably right the continuation approach does seem useful at times |
| 2025-01-15 16:46:28 +0100 | <pounce> | tomsmeding: you think you can just `take_money_out_of_wallet >> take_money_out_of_wallet` hmm >_> |
| 2025-01-15 16:48:11 +0100 | <tomsmeding> | pounce: no, but you can `take_money_out_of wallet >> put_money_back_in wallet`, and then you're still using the wallet twice. :) |
| 2025-01-15 16:49:49 +0100 | <pounce> | that would make money out of thin air |
| 2025-01-15 16:49:55 +0100 | <tomsmeding> | not if it's the same money you're putting back in |
| 2025-01-15 16:50:27 +0100 | <tomsmeding> | if your currency disappears the moment it leaves your wallet, I'm going to stay with mine that is more solid |
| 2025-01-15 16:50:52 +0100 | <pounce> | lol |
| 2025-01-15 16:51:55 +0100 | <tomsmeding> | and if we `m = take_money_out_of wallet >> put_money_back_in wallet`, then we can even `m >> m >> m` and the only thing that'll happen is that any spectators will be thinking "what's this person doing" |
| 2025-01-15 16:52:20 +0100 | <tomsmeding> | but no type system ever cared about that, did they |
| 2025-01-15 16:53:11 +0100 | <Leary> | ... In any case, we have linear arrows; you can use them whenever you want to. Just try not to infect the rest of the typeverse. |
| 2025-01-15 16:53:31 +0100 | <tomsmeding> | pounce: M a %1-> M a |
| 2025-01-15 16:54:00 +0100 | <pounce> | huh didn't know those existed |
| 2025-01-15 16:54:13 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-15 16:54:13 +0100 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#extension-LinearT… |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | % :set -XLinearTypes |
| 2025-01-15 16:55:20 +0100 | <yahb2> | <no output> |
| 2025-01-15 16:55:20 +0100 | <pounce> | yeah found those |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | % (\m -> m) :: IO a %1-> IO a |
| 2025-01-15 16:55:20 +0100 | <yahb2> | <interactive>:31:1: error: [GHC-39999] ; • No instance for ‘Show (IO a0 %1 -> IO a0)’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; (maybe you haven't applied a function to... |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | % :t (\m -> m) :: IO a %1-> IO a |
| 2025-01-15 16:55:20 +0100 | <yahb2> | (\m -> m) :: IO a %1-> IO a :: forall a. IO a %1 -> IO a |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | % :t (\m -> m >> m) :: IO a %1-> IO a |
| 2025-01-15 16:55:20 +0100 | <yahb2> | <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> m >> m) :: IO a %1 -> IO a |
| 2025-01-15 16:55:20 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | Haskell is the new C++ |
| 2025-01-15 16:55:20 +0100 | <tomsmeding> | it has all the things |
| 2025-01-15 16:55:30 +0100 | <int-e> | every syntactic niche is occupied |
| 2025-01-15 16:55:40 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 16:56:29 +0100 | <pounce> | % t: (\m -> return ()) IO () %1-> IO () |
| 2025-01-15 16:56:29 +0100 | <yahb2> | <interactive>:37:28: error: [GHC-58481] parse error on input ‘%’ |
| 2025-01-15 16:56:29 +0100 | <pounce> | oop |
| 2025-01-15 16:56:35 +0100 | <pounce> | % :t (\m -> return ()) IO () %1-> IO () |
| 2025-01-15 16:56:35 +0100 | <yahb2> | <interactive>:1:25: error: [GHC-58481] parse error on input ‘%’ |
| 2025-01-15 16:56:41 +0100 | <tomsmeding> | missing :: |
| 2025-01-15 16:56:45 +0100 | <pounce> | ty |
| 2025-01-15 16:56:55 +0100 | <pounce> | % :t (\m -> return ()) :: IO () %1-> IO () |
| 2025-01-15 16:56:55 +0100 | <yahb2> | <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> return ()) :: IO () %1 -> IO () |
| 2025-01-15 16:57:03 +0100 | <tomsmeding> | nobody said that the errors were _good_ |
| 2025-01-15 16:57:06 +0100 | <pounce> | how is 0 Many |
| 2025-01-15 16:57:09 +0100 | <tomsmeding> | it's not One |
| 2025-01-15 16:57:12 +0100 | <pounce> | true |
| 2025-01-15 16:57:37 +0100 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-15 16:58:38 +0100 | <pounce> | i like the erased modality in agda. having %0 would be nice |
| 2025-01-15 16:58:39 +0100 | <tomsmeding> | what would the point be in haskell |
| 2025-01-15 16:58:39 +0100 | <tomsmeding> | (and isn't it @0?) |
| 2025-01-15 16:58:39 +0100 | <pounce> | well in agda yeah |
| 2025-01-15 16:58:39 +0100 | <tomsmeding> | ah |
| 2025-01-15 16:58:39 +0100 | <pounce> | idk don't use haskell lol |
| 2025-01-15 16:58:40 +0100 | <pounce> | in rust there's all this phantomdata crap that pops up |
| 2025-01-15 16:58:44 +0100 | tomsmeding | looks at pounce |
| 2025-01-15 16:58:48 +0100 | <pounce> | :D |
| 2025-01-15 16:58:59 +0100 | tomsmeding | looks at the channel name |
| 2025-01-15 16:59:08 +0100 | <pounce> | ok |
| 2025-01-15 16:59:12 +0100 | <pounce> | i don't use haskell _on purpose_ |
| 2025-01-15 16:59:15 +0100 | <tomsmeding> | :D |
| 2025-01-15 16:59:51 +0100 | <tomsmeding> | I don't think that phrase has been uttered very often |
| 2025-01-15 17:00:19 +0100 | Digitteknohippie | Digit |
| 2025-01-15 17:00:25 +0100 | <Leary> | There are still uses for erased arguments in Haskell, but I think they can largely be satisfied with `ZeroBitType`s. |
| 2025-01-15 17:00:27 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-15 17:00:51 +0100 | <tomsmeding> | I can only think of Proxy; any others? |
| 2025-01-15 17:00:59 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-15 17:01:00 +0100 | <tomsmeding> | (any other uses, that is) |
| 2025-01-15 17:01:25 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2025-01-15 17:03:23 +0100 | <Leary> | tomsmeding: See this thread for a few examples: https://discourse.haskell.org/t/unboxed-equality/9929 |
| 2025-01-15 17:03:56 +0100 | <tomsmeding> | Leary: but surely an erased equality is not quite the same as a zero-bit equality? |
| 2025-01-15 17:04:50 +0100 | <tomsmeding> | a zero-bit equality is just ensuring that there's no unnecessary runtime overhead in reifying the proof, whereas an erased equality is praying that the proof would have also held in production |
| 2025-01-15 17:05:06 +0100 | <tomsmeding> | pounce: if you pattern-match on a Refl in agda, can you still mark that argument as erased? |
| 2025-01-15 17:05:46 +0100 | <pounce> | i _think_ so. i usually use --without-k which doesn't allow all dot patterns for equality |
| 2025-01-15 17:06:25 +0100 | <tomsmeding> | but how can an equality proof be erased if you're depending on it to hold? |
| 2025-01-15 17:06:34 +0100 | Guest78 | (~Guest78@37.228.251.150) (Quit: Client closed) |
| 2025-01-15 17:06:50 +0100 | <pounce> | tomsmeding: if you have an inhabitant of the equality proof then it already holds |
| 2025-01-15 17:06:52 +0100 | <Leary> | It's /statically/ verified. Haskell's `Refl` requires pattern matching for soundness only because it's lifted. |
| 2025-01-15 17:06:57 +0100 | <pounce> | you don't need to 'use' the proof |
| 2025-01-15 17:07:16 +0100 | <tomsmeding> | right, that's a thing in agda |
| 2025-01-15 17:07:19 +0100 | <pounce> | the only inhabitants of a = a are generated by refl. there's no bot |
| 2025-01-15 17:07:23 +0100 | <tomsmeding> | in haskell the proof could be `undefined` |
| 2025-01-15 17:08:09 +0100 | <pounce> | (inhabitants because without K there isn't necessarily _one_) |