Newest at the top
| 2025-11-14 16:07:46 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Ping timeout: 246 seconds) |
| 2025-11-14 16:07:07 +0100 | pterobull | (~Thunderbi@S0106f8790a53b594.cg.shawcable.net) |
| 2025-11-14 16:04:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-14 16:02:43 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-14 15:54:19 +0100 | pterobull1 | (~Thunderbi@S0106f8790a53b594.cg.shawcable.net) (Client Quit) |
| 2025-11-14 15:52:49 +0100 | pterobull1 | (~Thunderbi@S0106f8790a53b594.cg.shawcable.net) |
| 2025-11-14 15:49:48 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-14 15:49:33 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-14 15:46:03 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-14 15:45:39 +0100 | <merijn> | Well, I guess `Text -> Either e (a, Text)`, but you get the idea |
| 2025-11-14 15:45:15 +0100 | <merijn> | bwe: If you think about `Parsec Void Text e a` being approximately `Text -> Either e a` it's fairly self-explanatory why Eq does not exist. |
| 2025-11-14 15:40:17 +0100 | <merijn> | There we go |
| 2025-11-14 15:40:14 +0100 | <lambdabot> | seuss.html> |
| 2025-11-14 15:40:14 +0100 | <lambdabot> | Dr._Seuss says: `type Parser a = String -> [(a,String)]' -- "A Parser for Things / is a function from Strings / to Lists of Pairs / of Things and Strings!" -- <https://willamette.edu/~fruehr/haskell/ |
| 2025-11-14 15:40:14 +0100 | <merijn> | @quote parser.for.things |
| 2025-11-14 15:38:24 +0100 | <merijn> | lambdabot, quit failing me |
| 2025-11-14 15:38:19 +0100 | <merijn> | aww |
| 2025-11-14 15:38:18 +0100 | <lambdabot> | No quotes match. Maybe you made a typo? |
| 2025-11-14 15:38:17 +0100 | <merijn> | @quote string.to.things |
| 2025-11-14 15:38:13 +0100 | <lambdabot> | No quotes match. Sorry. |
| 2025-11-14 15:38:13 +0100 | <merijn> | @quote strings.to.things |
| 2025-11-14 15:38:03 +0100 | <merijn> | bwe: And identity on functions is notoriously hard problem, assuming you can even define what that means |
| 2025-11-14 15:37:43 +0100 | <merijn> | bwe: Because it's basically a function from text to a result? |
| 2025-11-14 15:37:15 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-14 15:36:30 +0100 | <bwe> | Why does `Parsec Void Text` has no Eq? I am asking because I generate parsers and want to create unit tests, however realise now that Eq is missing... |
| 2025-11-14 15:13:51 +0100 | fp1 | fp |
| 2025-11-14 15:13:50 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Client Quit) |
| 2025-11-14 15:13:46 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) fp |
| 2025-11-14 15:11:04 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-11-14 15:09:47 +0100 | annamalai | (~annamalai@157.32.201.89) annamalai |
| 2025-11-14 15:07:31 +0100 | annamalai | (~annamalai@157.32.197.187) (Remote host closed the connection) |
| 2025-11-14 15:06:53 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-14 15:04:21 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-11-14 14:54:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 14:54:18 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-11-14 14:50:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-14 14:42:30 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-14 14:39:45 +0100 | trickard_ | trickard |
| 2025-11-14 14:34:11 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-14 14:33:43 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-14 14:32:38 +0100 | Googulator93 | Googulator |
| 2025-11-14 14:28:24 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-14 14:28:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-14 14:26:31 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-14 14:26:05 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-14 14:02:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:f8db:b16d:6074:eae9) |
| 2025-11-14 13:56:29 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) fp |
| 2025-11-14 13:56:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:f8db:b16d:6074:eae9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-14 13:39:57 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-14 13:36:13 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 246 seconds) |