Newest at the top
| 2025-11-14 16:32:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-14 16:30:09 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-14 16:29:36 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:5e58:dbf4:c0b:fbb3) youngfrog |
| 2025-11-14 16:29:16 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:9f50:13f1:779b:4aa6) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-11-14 16:25:18 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 2025-11-14 16:23:42 +0100 | Taneb | (~username@host-95-251-57-201.retail.telecomitalia.it) (Ping timeout: 256 seconds) |
| 2025-11-14 16:20:41 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-14 16:15:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-11-14 16:15:12 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-14 16:13:50 +0100 | pterobul | (~Thunderbi@S0106f8790a53b594.cg.shawcable.net) |
| 2025-11-14 16:11:35 +0100 | pterobull | (~Thunderbi@S0106f8790a53b594.cg.shawcable.net) (Quit: pterobull) |
| 2025-11-14 16:10:56 +0100 | trickard_ | trickard |
| 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 |