| 2025-05-06 00:02:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-06 00:06:20 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-06 00:09:56 +0200 | <haskellbridge> | <Liamzee> oh, it's been a while since i abused *** and &&&, i've totally forgotten :( |
| 2025-05-06 00:13:12 +0200 | <haskellbridge> | <Liamzee> zeroArrow is about empty? well, it's const empty |
| 2025-05-06 00:14:53 +0200 | <haskellbridge> | <Liamzee> "TOML already has implementations in some of the most popular programming languages today... Haskell ..." |
| 2025-05-06 00:14:55 +0200 | <haskellbridge> | <Liamzee> https://toml.io/en/ |
| 2025-05-06 00:14:58 +0200 | <haskellbridge> | <Liamzee> thanks tom! |
| 2025-05-06 00:39:18 +0200 | la1n | (~la1n@81.222.178.255) (Remote host closed the connection) |
| 2025-05-06 00:39:43 +0200 | la1n | (~la1n@81.222.178.255) |
| 2025-05-06 00:41:01 +0200 | <EvanR> | tom's markup language |
| 2025-05-06 00:53:27 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-06 00:56:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-06 00:59:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-06 01:03:48 +0200 | <JuanDaugherty> | enwiki sez he's a billionaire |
| 2025-05-06 01:04:14 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-06 01:08:18 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-05-06 01:08:55 +0200 | sprotte24 | (~sprotte24@p200300d16f2c120050457aa1052cddc8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-06 01:09:46 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-06 01:09:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-06 01:09:58 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 01:30:23 +0200 | jespada | (~jespada@r179-25-149-142.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-06 01:36:21 +0200 | michalz | (~michalz@185.246.207.203) (Read error: Connection reset by peer) |
| 2025-05-06 01:37:50 +0200 | Axma14181 | Axman6 |
| 2025-05-06 01:37:54 +0200 | michalz | (~michalz@185.246.207.217) |
| 2025-05-06 01:38:09 +0200 | <monochrom> | EvanR: haha that's brilliant |
| 2025-05-06 01:42:29 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-06 01:43:20 +0200 | <monochrom> | Hey that's very inspiring. Next time I make an infix operator and can't think of a better name, it's ^^^ then! data BinTree a = Nil | BinTree a :^^^: BinTree a |
| 2025-05-06 01:43:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 01:46:02 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-05-06 01:47:38 +0200 | <monochrom> | \∩/ ::: also works |
| 2025-05-06 01:49:34 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-05-06 01:51:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-06 01:52:20 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-06 01:52:49 +0200 | greber_ | (~greber@82.148.184.53) |
| 2025-05-06 01:53:07 +0200 | euleritian | (~euleritia@dynamic-176-000-054-130.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-06 01:53:25 +0200 | euleritian | (~euleritia@ip2504e858.dynamic.kabel-deutschland.de) |
| 2025-05-06 01:54:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2025-05-06 01:55:26 +0200 | greber | (~greber@82.148.184.53) (Ping timeout: 252 seconds) |
| 2025-05-06 01:55:26 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2025-05-06 01:55:26 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 252 seconds) |
| 2025-05-06 01:55:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-05-06 01:57:19 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-05-06 02:06:26 +0200 | euleritian | (~euleritia@ip2504e858.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-06 02:06:47 +0200 | euleritian | (~euleritia@dynamic-176-000-054-143.176.0.pool.telefonica.de) |
| 2025-05-06 02:07:50 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2025-05-06 02:07:52 +0200 | euleritian | (~euleritia@dynamic-176-000-054-143.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-06 02:08:09 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-06 02:12:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2b75:7056:1970:c58f) |
| 2025-05-06 02:15:28 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-06 02:30:43 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-06 02:35:02 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-06 02:38:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2b75:7056:1970:c58f) (Ping timeout: 272 seconds) |
| 2025-05-06 02:40:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bd8f:49eb:d362:d8a3) |
| 2025-05-06 02:47:19 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2025-05-06 02:52:36 +0200 | greber_ | (~greber@82.148.184.53) (Remote host closed the connection) |
| 2025-05-06 03:04:36 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-06 03:12:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 03:12:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-06 03:25:19 +0200 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2025-05-06 03:28:34 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-06 03:29:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 03:29:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-06 03:34:13 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-06 03:36:51 +0200 | <Square2> | Re: "<monochrom> \∩/ ::: also works " <-- where is that function defined? |
| 2025-05-06 03:39:00 +0200 | <Square2> | It's simple to roll your own, but I just assumed it would be in base somewhere |
| 2025-05-06 04:14:18 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-05-06 04:16:05 +0200 | td_ | (~td@i53870907.versanet.de) td_ |
| 2025-05-06 04:20:49 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-05-06 04:22:52 +0200 | td_ | (~td@i53870907.versanet.de) (Ping timeout: 276 seconds) |
| 2025-05-06 04:24:21 +0200 | td_ | (~td@i5387093E.versanet.de) td_ |
| 2025-05-06 04:27:26 +0200 | <monochrom> | It is user-definable. |
| 2025-05-06 05:01:51 +0200 | winniequinn | (~winniequi@user/winniequinn) winniequinn |
| 2025-05-06 05:07:59 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-06 05:09:04 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-06 05:12:48 +0200 | winniequinn | (~winniequi@user/winniequinn) (Quit: nyaa~) |
| 2025-05-06 05:17:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-05-06 05:18:44 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-06 05:32:08 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-06 05:35:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-06 05:35:27 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-05-06 05:39:34 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-05-06 05:41:47 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-06 05:44:19 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 05:44:32 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-06 05:45:05 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc8:6800:9956:496f:fbf1:8d53) aforemny |
| 2025-05-06 05:45:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-06 05:45:33 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-06 05:46:04 +0200 | aforemny | (~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) (Ping timeout: 276 seconds) |
| 2025-05-06 06:01:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-06 06:07:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2025-05-06 06:08:00 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-06 06:08:21 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2025-05-06 06:12:43 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-05-06 06:22:11 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-06 06:22:28 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-06 06:24:08 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-06 06:32:29 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 2025-05-06 06:59:05 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-06 07:00:23 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection) |
| 2025-05-06 07:00:33 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-05-06 07:03:30 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-06 07:18:06 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-06 07:27:16 +0200 | la1n | (~la1n@81.222.178.255) (Read error: Connection reset by peer) |
| 2025-05-06 07:29:06 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-06 07:30:02 +0200 | euleritian | (~euleritia@dynamic-176-006-138-148.176.6.pool.telefonica.de) |
| 2025-05-06 07:36:17 +0200 | euleritian | (~euleritia@dynamic-176-006-138-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-06 07:36:36 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-06 07:52:56 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |