| 2023-09-18 00:03:03 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (Server closed connection) |
| 2023-09-18 00:03:27 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2023-09-18 00:03:56 +0200 | <ph88> | is it possible to make this function ? Foldable f => Foldable1 g => f a -> Maybe (g a) |
| 2023-09-18 00:04:30 +0200 | <mauke> | => =>? that's illegal |
| 2023-09-18 00:05:09 +0200 | <ph88> | he? i thought that was just another notation for (Foldable f, Foldable1 g) => f a -> Maybe (g a) |
| 2023-09-18 00:07:15 +0200 | <geekosaur> | it at least used to be, dunno if they changed it |
| 2023-09-18 00:07:21 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-18 00:07:27 +0200 | <geekosaur> | (it wasn';t supposed to work, it was a side effect of something else) |
| 2023-09-18 00:09:00 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-18 00:10:11 +0200 | <geekosaur> | so you should not rely on it as it is not guaranteed to always work |
| 2023-09-18 00:11:47 +0200 | <ph88> | like this function https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-List-NonEmpty.html#v:nonEmpty could it be implemented for Foldable/Foldable1 ? |
| 2023-09-18 00:14:59 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-18 00:15:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 00:18:50 +0200 | <ncf> | no |
| 2023-09-18 00:18:58 +0200 | <ncf> | Foldable is a mapping-out property, not mapping-into |
| 2023-09-18 00:19:00 +0200 | <probie> | ph88: Is it possible to make that function? Not a chance. What is possible is `(Foldable f, Applicative g, Semigroup (g a)) => f a -> Maybe (g a)` or `Foldable f => f a -> (forall g . Foldable1 g => Maybe (g a))` |
| 2023-09-18 00:20:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-18 00:20:26 +0200 | <ncf> | the latter is the same type as the question |
| 2023-09-18 00:20:37 +0200 | <ncf> | so also not possible |
| 2023-09-18 00:21:21 +0200 | <probie> | yeah, I think I meant something like `Foldable f => f a -> (forall g . Foldable1 g => Maybe (g a) -> r) -> r` |
| 2023-09-18 00:22:11 +0200 | _xor0 | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-09-18 00:22:19 +0200 | <probie> | haven't had my morning coffee yet |
| 2023-09-18 00:22:47 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-18 00:22:56 +0200 | <ph88> | Could the function be made with some unsafe functions underneath ? |
| 2023-09-18 00:23:25 +0200 | <ncf> | it's an interface issue, not a safety issue |
| 2023-09-18 00:23:47 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 244 seconds) |
| 2023-09-18 00:23:48 +0200 | _xor0 | _xor |
| 2023-09-18 00:23:50 +0200 | <ncf> | you can't make up a function [a] -> t a knowing nothing about t other than it's Foldable |
| 2023-09-18 00:24:00 +0200 | <ph88> | what about some coerce thing that tells GHC ... don't type check this .. it's okay ? |
| 2023-09-18 00:24:33 +0200 | <c_wraith> | ph88: but it needs to know what type t is in order to build a t. You can't coerce into that |
| 2023-09-18 00:25:05 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Quit: leaving) |
| 2023-09-18 00:25:16 +0200 | <monochrom> | At this point perhaps you should specify what you want it to do rather than hiding behind a type and unsafe functions that accomplishes God-knows-what. |
| 2023-09-18 00:25:18 +0200 | <ph88> | it should be like f ~ g |
| 2023-09-18 00:26:06 +0200 | <c_wraith> | so.. id? |
| 2023-09-18 00:26:06 +0200 | <probie> | If `f ~ g`, then it's easy to implement and your function is `Just` |
| 2023-09-18 00:26:35 +0200 | <ph88> | monochrom, mainly to deepen my understanding at this point of what is allowable. But the use case would be to have this function polymorphic https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-List-NonEmpty.html#v:nonEmpty |
| 2023-09-18 00:27:06 +0200 | <ph88> | c_wraith, ups obviously that was not right :P |
| 2023-09-18 00:27:40 +0200 | <monochrom> | "generalize" is meaningless until you can give at least 3 examples. |
| 2023-09-18 00:27:49 +0200 | <probie> | You can do `Foldable f => f a -> Maybe (NonEmpty a)` |
| 2023-09-18 00:28:05 +0200 | <glguy> | demo :: Foldable f => f a -> (forall g . Foldable g => Maybe (g a) -> r) -> r |
| 2023-09-18 00:28:05 +0200 | <glguy> | demo fa k = k (Just fa) |
| 2023-09-18 00:28:07 +0200 | <monochrom> | And perhaps in the process you also realize what Foldable cannot do on its own. |
| 2023-09-18 00:28:22 +0200 | <glguy> | Ah, foldable1 |
| 2023-09-18 00:28:30 +0200 | <glguy> | back to the editor *nod* |
| 2023-09-18 00:30:34 +0200 | <probie> | glguy: `demo fa k = k (nonEmpty (toList fa))` (since `k` has to work for any `Foldable1`, which includes `NonEmpty`) |
| 2023-09-18 00:30:48 +0200 | <glguy> | aw, you didn't let me paste it |
| 2023-09-18 00:30:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 00:31:15 +0200 | <probie> | sorry |
| 2023-09-18 00:32:12 +0200 | <ncf> | so, demo :: (exists f. Foldable f *> f a) -> Maybe (exists g. Foldable1 g *> g a) ? |
| 2023-09-18 00:32:26 +0200 | <ncf> | doesn't seem terribly useful :p |
| 2023-09-18 00:33:03 +0200 | ringo___ | (~ringo@157.230.117.128) (Server closed connection) |
| 2023-09-18 00:33:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-18 00:33:18 +0200 | <ph88> | i didn't ran this code, but what about this way? https://bpa.st/VT4Q |
| 2023-09-18 00:33:22 +0200 | ringo___ | (~ringo@157.230.117.128) |
| 2023-09-18 00:33:24 +0200 | dcoutts__ | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 246 seconds) |
| 2023-09-18 00:33:50 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-18 00:34:10 +0200 | <glguy> | I can't imagine ever needing that |
| 2023-09-18 00:34:32 +0200 | <glguy> | I should read the scrollback to see what we're doing here |
| 2023-09-18 00:35:19 +0200 | <c_wraith> | that does seem pretty useless. the point of a class isn't to share names, it's to share code. |
| 2023-09-18 00:36:29 +0200 | <glguy> | c_wraith: teach that to Default <_< |
| 2023-09-18 00:36:48 +0200 | <c_wraith> | Yeah, I don't use Default for a reason. :P |
| 2023-09-18 00:40:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-09-18 00:41:28 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-18 00:41:54 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-18 00:45:16 +0200 | <ph88> | seems Foldable1 is only recently in base as well .. interesting |
| 2023-09-18 00:55:31 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 264 seconds) |
| 2023-09-18 01:00:15 +0200 | cayley5 | (~phileasfo@user/phileasfogg) (Quit: "It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.") |
| 2023-09-18 01:04:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-18 01:06:36 +0200 | rumraisin | (~42cayley@user/phileasfogg) |
| 2023-09-18 01:07:39 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-09-18 01:15:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-18 01:15:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-18 01:15:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-18 01:16:15 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2023-09-18 01:16:25 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 01:23:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 264 seconds) |
| 2023-09-18 01:23:21 +0200 | ystael | (~ystael@user/ystael) |
| 2023-09-18 01:25:05 +0200 | chomwitt | (~chomwitt@athedsl-25022.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-09-18 01:30:36 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-18 01:30:51 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-18 01:34:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-18 01:37:59 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 246 seconds) |
| 2023-09-18 01:38:27 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2023-09-18 01:38:41 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-09-18 01:40:12 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2023-09-18 01:40:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-09-18 01:40:50 +0200 | <jackdk> | I've always been partial to https://hackage.haskell.org/package/acme-default |
| 2023-09-18 01:41:18 +0200 | <jackdk> | which I use exactly as often as `data-default`, because it is exactly as principled. |
| 2023-09-18 01:42:47 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-09-18 01:43:08 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-18 01:44:28 +0200 | <EvanR> | ertes! damn |
| 2023-09-18 01:46:27 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 244 seconds) |
| 2023-09-18 01:49:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-18 01:51:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-09-18 01:52:16 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 01:54:03 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-18 01:56:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-18 01:59:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-09-18 02:02:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-18 02:10:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-18 02:20:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 02:21:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-18 02:21:41 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-09-18 02:24:14 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-18 02:29:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-18 02:36:46 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 2023-09-18 02:37:54 +0200 | ell | (~ellie@user/ellie) (Quit: Leaving) |
| 2023-09-18 02:39:03 +0200 | institor | (~henricus@user/institor) (Server closed connection) |
| 2023-09-18 02:39:22 +0200 | institor | (~henricus@user/institor) |
| 2023-09-18 02:43:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-18 02:43:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-18 02:43:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-18 02:55:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-18 02:57:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-18 02:58:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 03:01:55 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-18 03:04:36 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 03:09:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-18 03:12:39 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::b) (Read error: Connection reset by peer) |
| 2023-09-18 03:13:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-09-18 03:16:34 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 03:22:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 03:24:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 03:24:56 +0200 | <Axman6> | > scanl (+) 0 [] |
| 2023-09-18 03:24:58 +0200 | <lambdabot> | [0] |
| 2023-09-18 03:25:13 +0200 | <institor> | huh |
| 2023-09-18 03:25:26 +0200 | <institor> | oh i read foldl for some reason |
| 2023-09-18 03:32:38 +0200 | <Axman6> | Just checking scanl can never return an empty list |
| 2023-09-18 03:33:20 +0200 | <Axman6> | Is there a way of telling GHC that you expect something to be unreachable? |
| 2023-09-18 03:38:10 +0200 | <EvanR> | > assert False |
| 2023-09-18 03:38:12 +0200 | <lambdabot> | error: |
| 2023-09-18 03:38:12 +0200 | <lambdabot> | • No instance for (Typeable a0) |
| 2023-09-18 03:38:12 +0200 | <lambdabot> | arising from a use of ‘show_M72117827281715950958’ |
| 2023-09-18 03:38:35 +0200 | <EvanR> | great googley moogley |
| 2023-09-18 03:40:04 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 03:40:24 +0200 | <jackdk> | Axman6: make it return `NonEmpty b` |
| 2023-09-18 03:41:35 +0200 | otto_s | (~user@p5de2f957.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-18 03:43:23 +0200 | otto_s | (~user@p5de2f2af.dip0.t-ipconnect.de) |
| 2023-09-18 03:44:15 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 244 seconds) |
| 2023-09-18 04:00:06 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2023-09-18 04:03:27 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2023-09-18 04:06:14 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-114.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-18 04:06:27 +0200 | <probie> | Axman: Abuse pattern synonyms and COMPLETE, e.g. `pattern TrustMe x xs = x:xs; {-# COMPLETE TrustMe #-}; case foo of { TrustMe x xs -> ... }` |
| 2023-09-18 04:06:33 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-114.dsl.bell.ca) |
| 2023-09-18 04:12:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 04:17:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-18 04:21:56 +0200 | smoothdev_ | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-18 04:22:39 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2023-09-18 04:22:39 +0200 | smoothdev_ | smoothdev |
| 2023-09-18 04:23:52 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 04:24:52 +0200 | <Axman6> | jackdk: can't exactly change prelude's scanl, even if that would be nice to have |
| 2023-09-18 04:25:37 +0200 | <jackdk> | Axman6: define your own? |
| 2023-09-18 04:25:51 +0200 | <Axman6> | realy not worth it for this |
| 2023-09-18 04:26:01 +0200 | <JeremyB99> | Is Graphics.Win32 a good way to implement graphics in haskell? I can't find any good resources on it. |
| 2023-09-18 04:26:33 +0200 | <Axman6> | I don't know the answer to your question, but can you define 'graphics' here? |
| 2023-09-18 04:27:15 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-18 04:27:23 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-18 04:27:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-18 04:27:23 +0200 | finn_elija | FinnElija |
| 2023-09-18 04:27:56 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
| 2023-09-18 04:28:28 +0200 | <JeremyB99> | Make funny colors on my screen I guess. I don't need it for anything professional. I just want to mess around in my favorite language. |
| 2023-09-18 04:30:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 04:32:17 +0200 | <jackdk> | That looks like pretty old GDI-type stuff. I would probably reach for something like SDL. Bonus: it will probably work on more platforms, too. |
| 2023-09-18 04:32:32 +0200 | <Axman6> | Gloss might be useful too |
| 2023-09-18 04:32:46 +0200 | <jackdk> | oh yeah, gloss or codeworld-api would be good ways to just mess around |
| 2023-09-18 04:35:03 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2023-09-18 04:36:28 +0200 | <Axman6> | searching for 'gloss' on hackage turns up a few alternatives, Vis looks interesting |
| 2023-09-18 04:36:49 +0200 | Batzy_ | (~quassel@user/batzy) |
| 2023-09-18 04:38:56 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 255 seconds) |
| 2023-09-18 04:40:12 +0200 | <JeremyB99> | Ah, okay |
| 2023-09-18 04:40:16 +0200 | <JeremyB99> | Thanks |
| 2023-09-18 04:41:03 +0200 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-18 04:42:04 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-18 04:43:05 +0200 | td_ | (~td@i5387090C.versanet.de) |
| 2023-09-18 04:43:35 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-09-18 04:49:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 04:54:56 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 04:57:15 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 05:03:48 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 05:04:49 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf8:9a00:d430:d04d:e250:b298) |
| 2023-09-18 05:06:19 +0200 | aforemny | (~aforemny@2001:9e8:6cce:ff00:a81e:c675:2712:6bbb) (Ping timeout: 264 seconds) |
| 2023-09-18 05:15:20 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-18 05:15:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 05:17:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-18 05:23:33 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-18 05:24:20 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-18 05:26:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 05:28:58 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-18 05:33:29 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-18 05:36:00 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-18 05:36:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-18 05:37:08 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-18 05:39:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-18 05:41:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-18 05:44:32 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 05:50:46 +0200 | bilegeek | (~bilegeek@2600:1008:b019:24ea:3271:dd7c:d7f:2b56) |
| 2023-09-18 05:53:20 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-18 05:56:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 05:56:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 05:58:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-09-18 06:00:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 06:01:16 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2023-09-18 06:01:17 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf8:9a00:d430:d04d:e250:b298) (Ping timeout: 255 seconds) |
| 2023-09-18 06:01:58 +0200 | aforemny | (~aforemny@i59f516ff.versanet.de) |
| 2023-09-18 06:04:32 +0200 | privacy | (~privacy@47.219.84.6) (Ping timeout: 258 seconds) |
| 2023-09-18 06:06:41 +0200 | <Axman6> | JeremyB99: I'd be interested to hear how you go, it might be worth trying out a few things and seeing what makes sense for you |
| 2023-09-18 06:07:04 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-18 06:08:22 +0200 | jargon | (~jargon@184.101.67.95) (Remote host closed the connection) |
| 2023-09-18 06:16:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-18 06:16:48 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2023-09-18 06:31:06 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 2023-09-18 06:34:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-18 06:41:32 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-09-18 06:42:33 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-18 06:55:52 +0200 | acidjnk | (~acidjnk@p200300d6e7072f027584eb352a264cf3.dip0.t-ipconnect.de) |
| 2023-09-18 06:57:55 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 264 seconds) |
| 2023-09-18 06:59:16 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-09-18 07:10:33 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-18 07:17:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-18 07:18:20 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-18 07:20:51 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-18 07:22:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-09-18 07:22:17 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 244 seconds) |
| 2023-09-18 07:23:09 +0200 | vglfr | (~vglfr@88.154.35.19) |
| 2023-09-18 07:23:35 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Ping timeout: 240 seconds) |
| 2023-09-18 07:29:29 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-18 07:34:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-18 07:35:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-18 07:36:26 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-18 07:36:51 +0200 | hiyori59 | (~hiyori@user/hiyori) |
| 2023-09-18 07:37:06 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-18 07:37:21 +0200 | hiyori59 | (~hiyori@user/hiyori) (Client Quit) |
| 2023-09-18 07:37:32 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-18 07:38:24 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-18 07:41:16 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-18 07:41:53 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-18 07:44:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-18 07:48:25 +0200 | vglfr | (~vglfr@88.154.35.19) (Ping timeout: 258 seconds) |
| 2023-09-18 07:49:19 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-18 07:50:26 +0200 | bilegeek | (~bilegeek@2600:1008:b019:24ea:3271:dd7c:d7f:2b56) (Quit: Leaving) |
| 2023-09-18 07:51:16 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 07:55:40 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-18 07:57:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-18 08:00:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 08:02:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 08:03:29 +0200 | shapr | (~user@2600:1700:c640:3100:92d4:865c:539c:4357) (Quit: sleeptime) |
| 2023-09-18 08:04:41 +0200 | phma | (phma@2001:5b0:210f:2f78:163b:92d5:56d3:56af) (Read error: Connection reset by peer) |
| 2023-09-18 08:15:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 08:18:12 +0200 | phma | (phma@2001:5b0:210f:5348:1867:5039:b867:cd52) |
| 2023-09-18 08:20:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-18 08:20:26 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-18 08:21:02 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-18 08:25:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-18 08:26:11 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-18 08:26:57 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-18 08:27:15 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-18 08:34:53 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-18 08:36:03 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Server closed connection) |
| 2023-09-18 08:36:21 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-09-18 08:43:05 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-09-18 08:53:02 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-18 08:54:11 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E0030CFBFF1D61C694E.dsl.pool.telekom.hu) |
| 2023-09-18 08:56:59 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-18 09:00:57 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-18 09:12:49 +0200 | Guest|84 | (~Guest|84@adsl-178-38-222-58.adslplus.ch) |
| 2023-09-18 09:13:38 +0200 | mmhat | (~mmh@p200300f1c7178ab1ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-18 09:13:41 +0200 | mmhat | (~mmh@p200300f1c7178ab1ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-18 09:16:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c67c:50c3:1da9:1e6f) |
| 2023-09-18 09:16:34 +0200 | <tomsmeding> | oh my acme-default |
| 2023-09-18 09:16:47 +0200 | <tomsmeding> | I might have a new favourite package |
| 2023-09-18 09:18:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-18 09:21:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 09:21:59 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-18 09:22:19 +0200 | akegalj | (~akegalj@78-2-170-170.adsl.net.t-com.hr) |
| 2023-09-18 09:24:15 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 240 seconds) |
| 2023-09-18 09:24:28 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Client Quit) |
| 2023-09-18 09:26:30 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-18 09:28:01 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-18 09:28:43 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-18 09:28:54 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-18 09:30:11 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-18 09:32:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 09:32:47 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-18 09:33:40 +0200 | chomwitt | (~chomwitt@ppp-94-67-235-15.home.otenet.gr) |
| 2023-09-18 09:35:12 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 2023-09-18 09:35:32 +0200 | vglfr | (~vglfr@37.73.28.173) |
| 2023-09-18 09:37:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-18 09:38:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-18 09:39:42 +0200 | chele | (~chele@user/chele) |
| 2023-09-18 09:42:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 09:42:34 +0200 | CiaoSen | (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) |
| 2023-09-18 09:42:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-18 09:47:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-18 09:55:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-18 09:57:42 +0200 | Guest|84 | (~Guest|84@adsl-178-38-222-58.adslplus.ch) (Quit: Connection closed) |
| 2023-09-18 09:59:51 +0200 | rumraisin | cayley5 |
| 2023-09-18 10:04:12 +0200 | danse-nr3 | (~francesco@151.47.44.95) |
| 2023-09-18 10:04:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-09-18 10:07:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-09-18 10:10:07 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-18 10:11:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 10:21:03 +0200 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (Server closed connection) |
| 2023-09-18 10:21:16 +0200 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-09-18 10:25:35 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-18 10:29:55 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-18 10:30:50 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-18 10:36:01 +0200 | dcoutts__ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 2023-09-18 10:42:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-18 10:44:04 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-18 10:45:15 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Client Quit) |
| 2023-09-18 10:45:24 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-18 10:46:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 10:49:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-09-18 10:50:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Ping timeout: 248 seconds) |
| 2023-09-18 11:04:40 +0200 | vglfr | (~vglfr@37.73.28.173) (Read error: Connection reset by peer) |
| 2023-09-18 11:10:43 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-18 11:16:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 11:19:20 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-18 11:24:05 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-09-18 11:26:19 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-09-18 11:29:08 +0200 | ubert | (~Thunderbi@178.165.172.53.wireless.dyn.drei.com) |
| 2023-09-18 11:30:16 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-18 11:31:08 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 11:36:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-18 11:42:34 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 11:49:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 11:50:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-18 11:57:02 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-18 12:12:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-18 12:18:21 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-18 12:19:37 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-18 12:19:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-18 12:25:04 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Ping timeout: 245 seconds) |
| 2023-09-18 12:25:26 +0200 | akegalj | (~akegalj@78-2-170-170.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-09-18 12:38:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-18 12:39:19 +0200 | dcoutts__ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 264 seconds) |
| 2023-09-18 12:41:22 +0200 | thelounge0587 | (~thelounge@softbank126217142089.bbtec.net) |
| 2023-09-18 12:41:58 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2023-09-18 12:44:39 +0200 | thelounge0587 | (~thelounge@softbank126217142089.bbtec.net) (Client Quit) |
| 2023-09-18 12:45:12 +0200 | danse-nr3 | (~francesco@151.47.44.95) (Ping timeout: 244 seconds) |
| 2023-09-18 12:45:38 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 12:45:51 +0200 | chomwitt | (~chomwitt@ppp-94-67-235-15.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-09-18 12:49:58 +0200 | danse-nr3 | (~francesco@151.47.44.95) |
| 2023-09-18 12:50:41 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 12:50:48 +0200 | chomwitt | (~chomwitt@ppp-94-67-233-145.home.otenet.gr) |
| 2023-09-18 12:55:03 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-18 12:55:23 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 12:55:48 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 12:59:05 +0200 | CiaoSen | (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-09-18 12:59:20 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) |
| 2023-09-18 13:00:03 +0200 | <zaraksh> | @type map |
| 2023-09-18 13:00:05 +0200 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2023-09-18 13:00:30 +0200 | _0xa | (~user@user/0xa/x-3134607) (Read error: Connection reset by peer) |
| 2023-09-18 13:00:44 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2023-09-18 13:00:47 +0200 | <zaraksh> | @pl addTask l = do {task <- getLine; return $ task : l} |
| 2023-09-18 13:00:48 +0200 | <lambdabot> | (line 1, column 16): |
| 2023-09-18 13:00:48 +0200 | <lambdabot> | unexpected '{' |
| 2023-09-18 13:00:48 +0200 | <lambdabot> | expecting variable, "(", operator or end of input |
| 2023-09-18 13:01:24 +0200 | <zaraksh> | @undo addTask l = do {task <- getLine; return $ task : l} |
| 2023-09-18 13:01:25 +0200 | <lambdabot> | addTask l = getLine >>= \ task -> return $ task : l |
| 2023-09-18 13:01:39 +0200 | <zaraksh> | @pl getLine >>= \ task -> return $ task : l |
| 2023-09-18 13:01:39 +0200 | <lambdabot> | (: l) `fmap` getLine |
| 2023-09-18 13:01:52 +0200 | <zaraksh> | @pl addTask l = getLine >>= \ task -> return $ task : l |
| 2023-09-18 13:01:52 +0200 | <lambdabot> | addTask = (`fmap` getLine) . flip (:) |
| 2023-09-18 13:04:41 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) (Quit: leaving) |
| 2023-09-18 13:05:39 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 13:05:40 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 13:06:34 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 13:07:24 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 13:10:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 13:13:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-18 13:14:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 13:14:27 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 13:16:35 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 13:19:35 +0200 | danse-nr3 | (~francesco@151.47.44.95) (Ping timeout: 255 seconds) |
| 2023-09-18 13:21:04 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 2023-09-18 13:21:05 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 2023-09-18 13:21:16 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 13:25:17 +0200 | danse-nr3 | (~francesco@151.47.44.95) |
| 2023-09-18 13:26:04 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-09-18 13:26:40 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 13:31:03 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-18 13:31:05 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 13:31:06 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 13:32:08 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 13:32:11 +0200 | dcoutts__ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 2023-09-18 13:32:48 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds) |
| 2023-09-18 13:37:48 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 248 seconds) |
| 2023-09-18 13:38:20 +0200 | vglfr | (~vglfr@88.154.54.75) |
| 2023-09-18 13:41:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 13:41:59 +0200 | Raime | (~Raime@154.31.112.139) |
| 2023-09-18 13:42:31 +0200 | Raime | (~Raime@154.31.112.139) (Client Quit) |
| 2023-09-18 13:43:22 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-18 13:43:26 +0200 | <Inst> | btw, can I ask for some tips? |
| 2023-09-18 13:43:48 +0200 | <Inst> | I think the Cabal project is just too confusing, so I'm skipping the hackage documentation because I don't think it's self-contained. |
| 2023-09-18 13:43:56 +0200 | <Inst> | It's 200k lines via a web LOC checked |
| 2023-09-18 13:44:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-18 13:44:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-18 13:49:00 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-18 13:49:51 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) |
| 2023-09-18 13:53:10 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) (Client Quit) |
| 2023-09-18 13:55:37 +0200 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-18 13:55:37 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-18 13:59:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-09-18 14:00:22 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2023-09-18 14:00:52 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 14:00:52 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2023-09-18 14:01:17 +0200 | dispater | (~dispater@mail.brprice.uk) (Client Quit) |
| 2023-09-18 14:01:17 +0200 | orcus | (~orcus@mail.brprice.uk) (Client Quit) |
| 2023-09-18 14:02:59 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2023-09-18 14:03:29 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2023-09-18 14:03:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 14:03:43 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 14:03:47 +0200 | danse-nr3_ | (~francesco@rm-19-33-14.service.infuturo.it) |
| 2023-09-18 14:04:12 +0200 | danse-nr3 | (~francesco@151.47.44.95) (Read error: Connection reset by peer) |
| 2023-09-18 14:05:24 +0200 | vglfr | (~vglfr@88.154.54.75) (Ping timeout: 255 seconds) |
| 2023-09-18 14:06:12 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-18 14:08:46 +0200 | Guest59 | (~Guest59@103.44.106.206) |
| 2023-09-18 14:09:04 +0200 | Guest59 | (~Guest59@103.44.106.206) (Client Quit) |
| 2023-09-18 14:16:45 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 14:18:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 14:19:09 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-18 14:21:19 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds) |
| 2023-09-18 14:21:41 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-09-18 14:22:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-18 14:24:39 +0200 | acidjnk | (~acidjnk@p200300d6e7072f027584eb352a264cf3.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-18 14:31:37 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 14:32:27 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 14:40:52 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-09-18 14:40:52 +0200 | jinsun | Guest7183 |
| 2023-09-18 14:40:52 +0200 | Guest7183 | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2023-09-18 14:40:52 +0200 | jinsun_ | jinsun |
| 2023-09-18 14:49:41 +0200 | acidjnk | (~acidjnk@p200300d6e7072f02a592eaf46e417577.dip0.t-ipconnect.de) |
| 2023-09-18 14:50:23 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-09-18 14:50:23 +0200 | jinsun | Guest2809 |
| 2023-09-18 14:50:23 +0200 | Guest2809 | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2023-09-18 14:50:23 +0200 | jinsun_ | jinsun |
| 2023-09-18 14:51:19 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 14:51:45 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-18 14:52:03 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 14:56:02 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:04:39 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-18 15:09:26 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 15:09:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-18 15:09:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-18 15:09:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-18 15:10:05 +0200 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 240 seconds) |
| 2023-09-18 15:11:11 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:11:50 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 15:11:52 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:16:08 +0200 | danse-nr3_ | (~francesco@rm-19-33-14.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2023-09-18 15:16:21 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-18 15:17:57 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 15:19:03 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:19:33 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-18 15:20:43 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2023-09-18 15:20:45 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 258 seconds) |
| 2023-09-18 15:30:23 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-18 15:31:42 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) (Quit: WeeChat 4.0.4) |
| 2023-09-18 15:34:14 +0200 | ystael | (~ystael@user/ystael) |
| 2023-09-18 15:38:22 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 15:40:15 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:41:21 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-18 15:43:24 +0200 | danse-nr3_ | (~francesco@rm-19-33-14.service.infuturo.it) |
| 2023-09-18 15:46:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 15:47:11 +0200 | dcoutts_ | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-18 15:47:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-18 15:48:15 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-18 15:50:04 +0200 | dcoutts__ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 248 seconds) |
| 2023-09-18 15:50:10 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 15:56:48 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 15:59:19 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 16:00:13 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-18 16:00:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 16:03:44 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 16:07:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-18 16:09:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-09-18 16:09:16 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 16:11:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 16:13:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-18 16:15:26 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:34b3:e617:3265:c11f) |
| 2023-09-18 16:16:38 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-18 16:17:13 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-18 16:18:18 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 16:19:21 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-18 16:23:16 +0200 | Square3 | (~Square4@user/square) |
| 2023-09-18 16:26:00 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 16:28:34 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 16:32:50 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-18 16:32:55 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 16:35:33 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 16:37:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-18 16:39:11 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 16:43:26 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 16:43:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-18 16:43:49 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 2023-09-18 16:45:00 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-09-18 16:47:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 2023-09-18 16:50:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-18 16:51:13 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-18 16:51:13 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 16:53:06 +0200 | CiaoSen | (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) |
| 2023-09-18 17:02:41 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-09-18 17:03:54 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Ping timeout: 246 seconds) |
| 2023-09-18 17:05:42 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 17:05:46 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 17:07:36 +0200 | phma | (phma@2001:5b0:210f:5348:1867:5039:b867:cd52) (Read error: Connection reset by peer) |
| 2023-09-18 17:08:23 +0200 | phma | (phma@2001:5b0:215a:ad98:b113:d71c:5609:dd28) |
| 2023-09-18 17:14:16 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 17:16:01 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 17:17:49 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 17:18:49 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-18 17:21:20 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-18 17:22:33 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 17:33:00 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 17:36:20 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 17:37:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 17:37:10 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 17:37:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 17:40:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c67c:50c3:1da9:1e6f) (Quit: WeeChat 2.8) |
| 2023-09-18 17:49:29 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 17:53:13 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-18 17:54:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 18:04:10 +0200 | danse-nr3__ | (~francesco@rm-19-51-159.service.infuturo.it) |
| 2023-09-18 18:07:01 +0200 | danse-nr3_ | (~francesco@rm-19-33-14.service.infuturo.it) (Ping timeout: 252 seconds) |
| 2023-09-18 18:08:58 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 18:09:21 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 18:10:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-18 18:12:03 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-09-18 18:17:01 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-09-18 18:18:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-18 18:20:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-09-18 18:26:16 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-18 18:26:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-18 18:26:54 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 18:26:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-18 18:28:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-09-18 18:29:04 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-18 18:31:58 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-18 18:33:51 +0200 | chomwitt | (~chomwitt@ppp-94-67-233-145.home.otenet.gr) (Remote host closed the connection) |
| 2023-09-18 18:44:18 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2023-09-18 18:44:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-18 18:45:24 +0200 | danse-nr3__ | (~francesco@rm-19-51-159.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2023-09-18 18:45:25 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 18:46:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 2023-09-18 18:49:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 18:49:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 18:49:21 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 18:55:35 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 18:55:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 18:59:04 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:03:18 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 19:04:07 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:12:18 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds) |
| 2023-09-18 19:17:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 19:18:02 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 19:18:30 +0200 | shapr | (~user@2600:1700:c640:3100:5cbd:18d9:350a:daec) |
| 2023-09-18 19:19:02 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:23:38 +0200 | danza | (~francesco@rm-19-51-159.service.infuturo.it) |
| 2023-09-18 19:27:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 19:30:26 +0200 | ursa-major | (~ursa-majo@static-198-44-128-186.cust.tzulo.com) |
| 2023-09-18 19:30:35 +0200 | danza | (~francesco@rm-19-51-159.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2023-09-18 19:30:45 +0200 | ursa-major | (~ursa-majo@static-198-44-128-186.cust.tzulo.com) (Max SendQ exceeded) |
| 2023-09-18 19:31:14 +0200 | ursa-major | (~ursa-majo@static-198-44-128-186.cust.tzulo.com) |
| 2023-09-18 19:33:08 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 19:35:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-09-18 19:37:11 +0200 | ursa-major | (~ursa-majo@static-198-44-128-186.cust.tzulo.com) (Quit: WeeChat 4.0.4) |
| 2023-09-18 19:42:08 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:42:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 19:43:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-18 19:45:25 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-18 19:46:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 19:46:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 19:47:20 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:48:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-18 19:54:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Read error: Connection reset by peer) |
| 2023-09-18 19:56:33 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 19:56:34 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 19:56:46 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-18 19:57:14 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-18 20:01:19 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-18 20:02:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 20:03:27 +0200 | CiaoSen | (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-09-18 20:04:56 +0200 | <ph88> | if you re-export a function from another module will it take over the documentation ? |
| 2023-09-18 20:05:30 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-18 20:05:36 +0200 | <geekosaur> | yes |
| 2023-09-18 20:06:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-09-18 20:12:59 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 20:17:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-18 20:17:44 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-18 20:18:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-18 20:19:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-18 20:21:09 +0200 | <segfaultfizzbuzz> | [exa]: i got your crazy asm-haskell on a real computer (x86) and ran it, wooho |
| 2023-09-18 20:27:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 2023-09-18 20:31:32 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 20:32:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-09-18 20:35:46 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 20:35:49 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 20:36:30 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-18 20:44:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 20:46:07 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 20:46:24 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 20:47:58 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 20:52:05 +0200 | _xor7 | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-09-18 20:53:49 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 245 seconds) |
| 2023-09-18 20:53:49 +0200 | _xor7 | _xor |
| 2023-09-18 20:57:51 +0200 | malte | (~malte@mal.tc) |
| 2023-09-18 20:58:28 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-18 20:58:40 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-18 21:08:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-18 21:10:14 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-18 21:12:40 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-18 21:14:48 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-09-18 21:15:47 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-18 21:19:49 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-18 21:23:46 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-18 21:33:01 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-18 21:36:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 21:43:42 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E0030CFBFF1D61C694E.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-09-18 21:48:03 +0200 | xmachina1 | (xmachina@gateway/vpn/protonvpn/xmachina) |
| 2023-09-18 21:48:28 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 2023-09-18 21:48:53 +0200 | xmachina1 | xmachina |
| 2023-09-18 21:50:45 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-18 21:58:24 +0200 | texasmynsted | (~username@99.96.221.112) |
| 2023-09-18 22:03:03 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) (Ping timeout: 240 seconds) |
| 2023-09-18 22:05:56 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-09-18 22:06:00 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-18 22:10:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-18 22:12:03 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Server closed connection) |
| 2023-09-18 22:12:13 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Quit: leaving) |
| 2023-09-18 22:12:14 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-09-18 22:15:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-18 22:17:21 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-18 22:17:24 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-18 22:24:14 +0200 | ubert1 | (~Thunderbi@91.141.40.168.wireless.dyn.drei.com) |
| 2023-09-18 22:24:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-18 22:25:53 +0200 | ubert | (~Thunderbi@178.165.172.53.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2023-09-18 22:25:53 +0200 | ubert1 | ubert |
| 2023-09-18 22:27:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 2023-09-18 22:28:58 +0200 | polaris^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-09-18 22:30:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-18 22:32:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-09-18 22:32:55 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 22:33:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-18 22:33:18 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-18 22:33:37 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-18 22:35:20 +0200 | Square3 | (~Square4@user/square) |
| 2023-09-18 22:38:40 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 22:40:39 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-09-18 22:42:38 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 22:43:48 +0200 | lisphacker | (~lisphacke@38.242.160.204) |
| 2023-09-18 22:45:32 +0200 | lisphacker | (~lisphacke@38.242.160.204) (Client Quit) |
| 2023-09-18 22:46:14 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-09-18 22:50:06 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 22:50:35 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 22:50:54 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-09-18 22:53:47 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-18 22:57:03 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Server closed connection) |
| 2023-09-18 22:57:14 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-09-18 23:02:31 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-18 23:06:37 +0200 | ubert | (~Thunderbi@91.141.40.168.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-09-18 23:11:21 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 23:12:21 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 2023-09-18 23:17:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-18 23:18:02 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-18 23:22:34 +0200 | acidjnk | (~acidjnk@p200300d6e7072f02a592eaf46e417577.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-18 23:24:18 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 2023-09-18 23:26:30 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-18 23:27:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-18 23:31:24 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:7048:75fa:6b76:2f61) (Ping timeout: 248 seconds) |
| 2023-09-18 23:37:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-18 23:43:30 +0200 | dunj3 | (~dunj3@kingdread.de) (Remote host closed the connection) |
| 2023-09-18 23:44:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-18 23:44:44 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:e3fb:cd8e:9d7a:53c5) |
| 2023-09-18 23:48:10 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-18 23:49:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |