Logs on 2023-09-18 (liberachat/#haskell)
| 00:02:36 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:10:15 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:20:59 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 00:21:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 00:21:41 | → | shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 00:24:14 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 00:29:25 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 00:36:46 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 00:37:54 | × | ell quits (~ellie@user/ellie) (Quit: Leaving) |
| 00:39:03 | × | institor quits (~henricus@user/institor) (Server closed connection) |
| 00:39:22 | → | institor joins (~henricus@user/institor) |
| 00:43:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:43:17 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:43:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:55:05 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 00:57:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 00:58:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 01:01:55 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:04:36 | → | sm joins (~sm@plaintextaccounting/sm) |
| 01:09:05 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 01:12:39 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::b) (Read error: Connection reset by peer) |
| 01:13:11 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:16:34 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 01:22:24 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 01:24:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 01:24:56 | <Axman6> | > scanl (+) 0 [] |
| 01:24:58 | <lambdabot> | [0] |
| 01:25:13 | <institor> | huh |
| 01:25:26 | <institor> | oh i read foldl for some reason |
| 01:32:38 | <Axman6> | Just checking scanl can never return an empty list |
| 01:33:20 | <Axman6> | Is there a way of telling GHC that you expect something to be unreachable? |
| 01:38:10 | <EvanR> | > assert False |
| 01:38:12 | <lambdabot> | error: |
| 01:38:12 | <lambdabot> | • No instance for (Typeable a0) |
| 01:38:12 | <lambdabot> | arising from a use of ‘show_M72117827281715950958’ |
| 01:38:35 | <EvanR> | great googley moogley |
| 01:40:04 | → | sm joins (~sm@plaintextaccounting/sm) |
| 01:40:24 | <jackdk> | Axman6: make it return `NonEmpty b` |
| 01:41:35 | × | otto_s quits (~user@p5de2f957.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:43:23 | → | otto_s joins (~user@p5de2f2af.dip0.t-ipconnect.de) |
| 01:44:15 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 244 seconds) |
| 02:00:06 | × | Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 02:03:27 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 02:06:14 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-114.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:06:27 | <probie> | Axman: Abuse pattern synonyms and COMPLETE, e.g. `pattern TrustMe x xs = x:xs; {-# COMPLETE TrustMe #-}; case foo of { TrustMe x xs -> ... }` |
| 02:06:33 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-114.dsl.bell.ca) |
| 02:12:04 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:17:05 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 02:21:56 | → | smoothdev_ joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 02:22:39 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 02:22:39 | smoothdev_ | is now known as smoothdev |
| 02:23:52 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 02:24:52 | <Axman6> | jackdk: can't exactly change prelude's scanl, even if that would be nice to have |
| 02:25:37 | <jackdk> | Axman6: define your own? |
| 02:25:51 | <Axman6> | realy not worth it for this |
| 02:26:01 | <JeremyB99> | Is Graphics.Win32 a good way to implement graphics in haskell? I can't find any good resources on it. |
| 02:26:33 | <Axman6> | I don't know the answer to your question, but can you define 'graphics' here? |
| 02:27:15 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 02:27:23 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:27:23 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:27:23 | finn_elija | is now known as FinnElija |
| 02:27:56 | → | abrantesasf joins (~abrantesa@179.217.48.72) |
| 02:28:28 | <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. |
| 02:30:35 | → | sm joins (~sm@plaintextaccounting/sm) |
| 02:32:17 | <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. |
| 02:32:32 | <Axman6> | Gloss might be useful too |
| 02:32:46 | <jackdk> | oh yeah, gloss or codeworld-api would be good ways to just mess around |
| 02:35:03 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 02:36:28 | <Axman6> | searching for 'gloss' on hackage turns up a few alternatives, Vis looks interesting |
| 02:36:49 | → | Batzy_ joins (~quassel@user/batzy) |
| 02:38:56 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 255 seconds) |
| 02:40:12 | <JeremyB99> | Ah, okay |
| 02:40:16 | <JeremyB99> | Thanks |
| 02:41:03 | × | td_ quits (~td@i5387092E.versanet.de) (Ping timeout: 240 seconds) |
| 02:42:04 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 02:43:05 | → | td_ joins (~td@i5387090C.versanet.de) |
| 02:43:35 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 02:49:37 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 02:54:56 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 02:57:15 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 03:03:48 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 03:04:49 | → | aforemny_ joins (~aforemny@2001:9e8:6cf8:9a00:d430:d04d:e250:b298) |
| 03:06:19 | × | aforemny quits (~aforemny@2001:9e8:6cce:ff00:a81e:c675:2712:6bbb) (Ping timeout: 264 seconds) |
| 03:15:20 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 03:15:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 03:17:57 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 03:23:33 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 03:24:20 | → | xtabentun joins (uid491929@id-491929.tinside.irccloud.com) |
| 03:26:34 | → | sm joins (~sm@plaintextaccounting/sm) |
| 03:28:58 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 03:33:29 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 03:36:00 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 03:36:30 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 03:37:08 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 03:39:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:41:48 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 03:44:32 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 03:50:46 | → | bilegeek joins (~bilegeek@2600:1008:b019:24ea:3271:dd7c:d7f:2b56) |
| 03:53:20 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:56:21 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 03:56:41 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 03:58:31 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 04:00:11 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 04:01:16 | → | actioninja joins (~actioninj@user/actioninja) |
| 04:01:17 | × | aforemny_ quits (~aforemny@2001:9e8:6cf8:9a00:d430:d04d:e250:b298) (Ping timeout: 255 seconds) |
| 04:01:58 | → | aforemny joins (~aforemny@i59f516ff.versanet.de) |
| 04:04:32 | × | privacy quits (~privacy@47.219.84.6) (Ping timeout: 258 seconds) |
| 04:06:41 | <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 |
| 04:07:04 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:08:22 | × | jargon quits (~jargon@184.101.67.95) (Remote host closed the connection) |
| 04:16:20 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:16:48 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 252 seconds) |
| 04:31:06 | × | abrantesasf quits (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 04:34:31 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 04:41:32 | → | michalz joins (~michalz@185.246.207.217) |
| 04:42:33 | → | ell joins (~ellie@user/ellie) |
| 04:55:52 | → | acidjnk joins (~acidjnk@p200300d6e7072f027584eb352a264cf3.dip0.t-ipconnect.de) |
| 04:57:55 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 264 seconds) |
| 04:59:16 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 05:10:33 | → | johnw joins (~johnw@69.62.242.138) |
| 05:17:55 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:18:20 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 05:20:51 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 05:22:12 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 05:22:17 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 244 seconds) |
| 05:23:09 | → | vglfr joins (~vglfr@88.154.35.19) |
| 05:23:35 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Ping timeout: 240 seconds) |
| 05:29:29 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 05:34:05 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 05:35:49 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:36:26 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:36:51 | → | hiyori59 joins (~hiyori@user/hiyori) |
| 05:37:06 | → | johnw joins (~johnw@69.62.242.138) |
| 05:37:21 | × | hiyori59 quits (~hiyori@user/hiyori) (Client Quit) |
| 05:37:32 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 05:38:24 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 05:41:16 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 05:41:53 | × | xtabentun quits (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:44:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 05:48:25 | × | vglfr quits (~vglfr@88.154.35.19) (Ping timeout: 258 seconds) |
| 05:49:19 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 05:50:26 | × | bilegeek quits (~bilegeek@2600:1008:b019:24ea:3271:dd7c:d7f:2b56) (Quit: Leaving) |
| 05:51:16 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 05:55:40 | → | hiyori joins (~hiyori@user/hiyori) |
| 05:57:40 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:00:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:02:14 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 06:03:29 | × | shapr quits (~user@2600:1700:c640:3100:92d4:865c:539c:4357) (Quit: sleeptime) |
| 06:04:41 | × | phma quits (phma@2001:5b0:210f:2f78:163b:92d5:56d3:56af) (Read error: Connection reset by peer) |
| 06:15:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 06:18:12 | → | phma joins (phma@2001:5b0:210f:5348:1867:5039:b867:cd52) |
| 06:20:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:20:26 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 06:21:02 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 06:25:31 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 06:26:11 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 06:26:57 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 06:27:15 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:34:53 | → | jinsun joins (~jinsun@user/jinsun) |
| 06:36:03 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Server closed connection) |
| 06:36:21 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 06:43:05 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 06:53:02 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 06:54:11 | → | jackneill__ joins (~Jackneill@20014C4E1E062E0030CFBFF1D61C694E.dsl.pool.telekom.hu) |
| 06:56:59 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 07:00:57 | → | hiyori joins (~hiyori@user/hiyori) |
| 07:12:49 | → | Guest|84 joins (~Guest|84@adsl-178-38-222-58.adslplus.ch) |
| 07:13:38 | → | mmhat joins (~mmh@p200300f1c7178ab1ee086bfffe095315.dip0.t-ipconnect.de) |
| 07:13:41 | × | mmhat quits (~mmh@p200300f1c7178ab1ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 07:16:22 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c67c:50c3:1da9:1e6f) |
| 07:16:34 | <tomsmeding> | oh my acme-default |
| 07:16:47 | <tomsmeding> | I might have a new favourite package |
| 07:18:56 | → | gmg joins (~user@user/gehmehgeh) |
| 07:21:38 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 07:21:59 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 07:22:19 | → | akegalj joins (~akegalj@78-2-170-170.adsl.net.t-com.hr) |
| 07:24:15 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 240 seconds) |
| 07:24:28 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Client Quit) |
| 07:26:30 | → | mysl joins (~mysl@user/mysl) |
| 07:28:01 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:28:43 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 07:28:54 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:30:11 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 07:32:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 07:32:47 | → | hiyori joins (~hiyori@user/hiyori) |
| 07:33:40 | → | chomwitt joins (~chomwitt@ppp-94-67-235-15.home.otenet.gr) |
| 07:35:12 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 07:35:32 | → | vglfr joins (~vglfr@37.73.28.173) |
| 07:37:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:38:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:39:42 | → | chele joins (~chele@user/chele) |
| 07:42:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:42:34 | → | CiaoSen joins (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) |
| 07:42:49 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 07:47:05 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 07:55:08 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:57:42 | × | Guest|84 quits (~Guest|84@adsl-178-38-222-58.adslplus.ch) (Quit: Connection closed) |
| 07:59:51 | rumraisin | is now known as cayley5 |
| 08:04:12 | → | danse-nr3 joins (~francesco@151.47.44.95) |
| 08:04:28 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 08:07:07 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:10:07 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:11:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 08:21:03 | × | neptun quits (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (Server closed connection) |
| 08:21:16 | → | neptun joins (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 08:25:35 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 08:29:55 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 08:30:50 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 08:36:01 | → | dcoutts__ joins (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 08:42:54 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:44:04 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 08:45:15 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Client Quit) |
| 08:45:24 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:46:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 08:49:30 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 08:50:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Ping timeout: 248 seconds) |
| 09:04:40 | × | vglfr quits (~vglfr@37.73.28.173) (Read error: Connection reset by peer) |
| 09:10:43 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 09:16:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:19:20 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 09:24:05 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 09:26:19 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 09:29:08 | → | ubert joins (~Thunderbi@178.165.172.53.wireless.dyn.drei.com) |
| 09:30:16 | → | __monty__ joins (~toonn@user/toonn) |
| 09:31:08 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 09:36:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 09:42:34 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 09:49:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 09:50:07 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 09:57:02 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:12:37 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:18:21 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 10:19:37 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 10:19:53 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:25:04 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Ping timeout: 245 seconds) |
| 10:25:26 | × | akegalj quits (~akegalj@78-2-170-170.adsl.net.t-com.hr) (Quit: leaving) |
| 10:38:19 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:39:19 | × | dcoutts__ quits (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 264 seconds) |
| 10:41:22 | → | thelounge0587 joins (~thelounge@softbank126217142089.bbtec.net) |
| 10:41:58 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 10:44:39 | × | thelounge0587 quits (~thelounge@softbank126217142089.bbtec.net) (Client Quit) |
| 10:45:12 | × | danse-nr3 quits (~francesco@151.47.44.95) (Ping timeout: 244 seconds) |
| 10:45:38 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 10:45:51 | × | chomwitt quits (~chomwitt@ppp-94-67-235-15.home.otenet.gr) (Ping timeout: 240 seconds) |
| 10:49:58 | → | danse-nr3 joins (~francesco@151.47.44.95) |
| 10:50:41 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 10:50:48 | → | chomwitt joins (~chomwitt@ppp-94-67-233-145.home.otenet.gr) |
| 10:55:03 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:55:23 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 10:55:48 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 10:59:05 | × | CiaoSen quits (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 10:59:20 | → | zaraksh joins (~zaraksh@host-212-139-218-170.static.as9105.net) |
| 11:00:03 | <zaraksh> | @type map |
| 11:00:05 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 11:00:30 | × | _0xa quits (~user@user/0xa/x-3134607) (Read error: Connection reset by peer) |
| 11:00:44 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 11:00:47 | <zaraksh> | @pl addTask l = do {task <- getLine; return $ task : l} |
| 11:00:48 | <lambdabot> | (line 1, column 16): |
| 11:00:48 | <lambdabot> | unexpected '{' |
| 11:00:48 | <lambdabot> | expecting variable, "(", operator or end of input |
| 11:01:24 | <zaraksh> | @undo addTask l = do {task <- getLine; return $ task : l} |
| 11:01:25 | <lambdabot> | addTask l = getLine >>= \ task -> return $ task : l |
| 11:01:39 | <zaraksh> | @pl getLine >>= \ task -> return $ task : l |
| 11:01:39 | <lambdabot> | (: l) `fmap` getLine |
| 11:01:52 | <zaraksh> | @pl addTask l = getLine >>= \ task -> return $ task : l |
| 11:01:52 | <lambdabot> | addTask = (`fmap` getLine) . flip (:) |
| 11:04:41 | × | zaraksh quits (~zaraksh@host-212-139-218-170.static.as9105.net) (Quit: leaving) |
| 11:05:39 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 11:05:40 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 11:06:34 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 11:07:24 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 11:10:32 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 11:13:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:14:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:14:27 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 11:16:35 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 11:19:35 | × | danse-nr3 quits (~francesco@151.47.44.95) (Ping timeout: 255 seconds) |
| 11:21:04 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) |
| 11:21:05 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17c5:4e3a:bc1d:b8a9:b005:8db3) (Read error: Connection reset by peer) |
| 11:21:16 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 11:25:17 | → | danse-nr3 joins (~francesco@151.47.44.95) |
| 11:26:04 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 11:26:40 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 11:31:03 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 11:31:05 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 11:31:06 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 11:32:08 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 11:32:11 | → | dcoutts__ joins (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 11:32:48 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds) |
| 11:37:48 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 248 seconds) |
| 11:38:20 | → | vglfr joins (~vglfr@88.154.54.75) |
| 11:41:56 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:41:59 | → | Raime joins (~Raime@154.31.112.139) |
| 11:42:31 | × | Raime quits (~Raime@154.31.112.139) (Client Quit) |
| 11:43:22 | → | Inst joins (~Inst@120.244.192.250) |
| 11:43:26 | <Inst> | btw, can I ask for some tips? |
| 11:43:48 | <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. |
| 11:43:56 | <Inst> | It's 200k lines via a web LOC checked |
| 11:44:24 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:44:36 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 11:49:00 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 11:49:51 | → | zaraksh joins (~zaraksh@host-212-139-218-170.static.as9105.net) |
| 11:53:10 | × | zaraksh quits (~zaraksh@host-212-139-218-170.static.as9105.net) (Client Quit) |
| 11:55:37 | × | dispater quits (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:55:37 | × | orcus quits (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:59:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:00:22 | → | dispater joins (~dispater@mail.brprice.uk) |
| 12:00:52 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 12:00:52 | → | orcus joins (~orcus@mail.brprice.uk) |
| 12:01:17 | × | dispater quits (~dispater@mail.brprice.uk) (Client Quit) |
| 12:01:17 | × | orcus quits (~orcus@mail.brprice.uk) (Client Quit) |
| 12:02:59 | → | dispater joins (~dispater@mail.brprice.uk) |
| 12:03:29 | → | orcus joins (~orcus@mail.brprice.uk) |
| 12:03:35 | → | sm joins (~sm@plaintextaccounting/sm) |
| 12:03:43 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 12:03:47 | → | danse-nr3_ joins (~francesco@rm-19-33-14.service.infuturo.it) |
| 12:04:12 | × | danse-nr3 quits (~francesco@151.47.44.95) (Read error: Connection reset by peer) |
| 12:05:24 | × | vglfr quits (~vglfr@88.154.54.75) (Ping timeout: 255 seconds) |
| 12:06:12 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 12:08:46 | → | Guest59 joins (~Guest59@103.44.106.206) |
| 12:09:04 | × | Guest59 quits (~Guest59@103.44.106.206) (Client Quit) |
| 12:16:45 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 12:18:17 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:19:09 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:21:19 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds) |
| 12:21:41 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 12:22:51 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:24:39 | × | acidjnk quits (~acidjnk@p200300d6e7072f027584eb352a264cf3.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:31:37 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 12:32:27 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 12:40:52 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 12:40:52 | jinsun | is now known as Guest7183 |
| 12:40:52 | × | Guest7183 quits (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 12:40:52 | jinsun_ | is now known as jinsun |
| 12:49:41 | → | acidjnk joins (~acidjnk@p200300d6e7072f02a592eaf46e417577.dip0.t-ipconnect.de) |
| 12:50:23 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 12:50:23 | jinsun | is now known as Guest2809 |
| 12:50:23 | × | Guest2809 quits (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 12:50:23 | jinsun_ | is now known as jinsun |
| 12:51:19 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 12:51:45 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 12:52:03 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 12:56:02 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:04:39 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 13:09:26 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 13:09:30 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:09:30 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:09:30 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:10:05 | × | _0xa quits (~user@user/0xa/x-3134607) (Ping timeout: 240 seconds) |
| 13:11:11 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:11:50 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 13:11:52 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:16:08 | × | danse-nr3_ quits (~francesco@rm-19-33-14.service.infuturo.it) (Ping timeout: 255 seconds) |
| 13:16:21 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 13:17:57 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 13:19:03 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:19:33 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 13:20:43 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 13:20:45 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 258 seconds) |
| 13:30:23 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 13:31:42 | × | xmachina quits (xmachina@gateway/vpn/protonvpn/xmachina) (Quit: WeeChat 4.0.4) |
| 13:34:14 | → | ystael joins (~ystael@user/ystael) |
| 13:38:22 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 13:40:15 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:41:21 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:43:24 | → | danse-nr3_ joins (~francesco@rm-19-33-14.service.infuturo.it) |
| 13:46:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:47:11 | → | dcoutts_ joins (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 13:47:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 13:48:15 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 13:50:04 | × | dcoutts__ quits (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 248 seconds) |
| 13:50:10 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 13:56:48 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 13:59:19 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 14:00:13 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 14:00:25 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 14:03:44 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 14:07:27 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 14:09:05 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 14:09:16 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 14:11:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:13:27 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 14:15:26 | → | smoothdev joins (~smoothdev@2a01:e0a:279:fb20:34b3:e617:3265:c11f) |
| 14:16:38 | → | bontaq joins (~user@ool-45707d2c.dyn.optonline.net) |
| 14:17:13 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 14:18:18 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 14:19:21 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:23:16 | → | Square3 joins (~Square4@user/square) |
| 14:26:00 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 14:28:34 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 14:32:50 | → | gmg joins (~user@user/gehmehgeh) |
| 14:32:55 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 14:35:33 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 14:37:06 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:39:11 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 14:43:26 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:43:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 14:43:49 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Read error: Connection reset by peer) |
| 14:45:00 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 14:47:16 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) |
| 14:50:05 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:51:13 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 14:51:13 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:53:06 | → | CiaoSen joins (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) |
| 15:02:41 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 15:03:54 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8de0:ef54:dd3b:26fc:bc54:3ed2) (Ping timeout: 246 seconds) |
| 15:05:42 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 15:05:46 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 15:07:36 | × | phma quits (phma@2001:5b0:210f:5348:1867:5039:b867:cd52) (Read error: Connection reset by peer) |
| 15:08:23 | → | phma joins (phma@2001:5b0:215a:ad98:b113:d71c:5609:dd28) |
| 15:14:16 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 15:16:01 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 15:17:49 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 15:18:49 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 15:21:20 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 15:22:33 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 15:33:00 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 15:36:20 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 15:37:04 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 15:37:10 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 15:37:25 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 15:40:18 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c67c:50c3:1da9:1e6f) (Quit: WeeChat 2.8) |
| 15:49:29 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 15:53:13 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 15:54:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:04:10 | → | danse-nr3__ joins (~francesco@rm-19-51-159.service.infuturo.it) |
| 16:07:01 | × | danse-nr3_ quits (~francesco@rm-19-33-14.service.infuturo.it) (Ping timeout: 252 seconds) |
| 16:08:58 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 16:09:21 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 16:10:32 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:12:03 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:17:01 | → | Katarushisu1 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 16:18:05 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 16:20:32 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:26:16 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 16:26:25 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 16:26:54 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:26:57 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 16:28:28 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:29:04 | → | sabino joins (~sabino@user/sabino) |
| 16:31:58 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:33:51 | × | chomwitt quits (~chomwitt@ppp-94-67-233-145.home.otenet.gr) (Remote host closed the connection) |
| 16:44:18 | × | Square3 quits (~Square4@user/square) (Ping timeout: 258 seconds) |
| 16:44:37 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:45:24 | × | danse-nr3__ quits (~francesco@rm-19-51-159.service.infuturo.it) (Ping timeout: 246 seconds) |
| 16:45:25 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 16:46:58 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Remote host closed the connection) |
| 16:49:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:49:16 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 16:49:21 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 16:55:35 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 16:55:41 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 16:59:04 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:03:18 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 17:04:07 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:12:18 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds) |
| 17:17:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:18:02 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 17:18:30 | → | shapr joins (~user@2600:1700:c640:3100:5cbd:18d9:350a:daec) |
| 17:19:02 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:23:38 | → | danza joins (~francesco@rm-19-51-159.service.infuturo.it) |
| 17:27:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:30:26 | → | ursa-major joins (~ursa-majo@static-198-44-128-186.cust.tzulo.com) |
| 17:30:35 | × | danza quits (~francesco@rm-19-51-159.service.infuturo.it) (Ping timeout: 240 seconds) |
| 17:30:45 | × | ursa-major quits (~ursa-majo@static-198-44-128-186.cust.tzulo.com) (Max SendQ exceeded) |
| 17:31:14 | → | ursa-major joins (~ursa-majo@static-198-44-128-186.cust.tzulo.com) |
| 17:33:08 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 17:35:52 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 17:37:11 | × | ursa-major quits (~ursa-majo@static-198-44-128-186.cust.tzulo.com) (Quit: WeeChat 4.0.4) |
| 17:42:08 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:42:35 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:43:09 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:45:25 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 17:46:09 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 17:46:16 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 17:47:20 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:48:03 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 17:54:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) (Read error: Connection reset by peer) |
| 17:56:33 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 17:56:34 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 17:56:46 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 17:57:14 | → | johnw joins (~johnw@69.62.242.138) |
| 18:01:19 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 18:02:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:03:27 | × | CiaoSen quits (~Jura@2a05:5800:29f:8200:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 18:04:56 | <ph88> | if you re-export a function from another module will it take over the documentation ? |
| 18:05:30 | → | qqq joins (~qqq@92.43.167.61) |
| 18:05:36 | <geekosaur> | yes |
| 18:06:43 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 18:12:59 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 18:17:02 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 18:17:44 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:18:37 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 18:19:12 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:21:09 | <segfaultfizzbuzz> | [exa]: i got your crazy asm-haskell on a real computer (x86) and ran it, wooho |
| 18:27:53 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a5af:6cb4:7eeb:d04f) |
| 18:31:32 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 18:32:16 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 18:35:46 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 18:35:49 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 18:36:30 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:44:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:46:07 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 18:46:24 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 18:47:58 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 18:52:05 | → | _xor7 joins (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 18:53:49 | × | _xor quits (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 245 seconds) |
| 18:53:49 | _xor7 | is now known as _xor |
| 18:57:51 | → | malte joins (~malte@mal.tc) |
| 18:58:28 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 18:58:40 | → | vglfr joins (~vglfr@188.239.201.89) |
| 19:08:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:10:14 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 19:12:40 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 19:14:48 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 19:15:47 | → | Pickchea joins (~private@user/pickchea) |
| 19:19:49 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:23:46 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 19:33:01 | × | Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 19:36:41 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:43:42 | × | jackneill__ quits (~Jackneill@20014C4E1E062E0030CFBFF1D61C694E.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 19:48:03 | → | xmachina1 joins (xmachina@gateway/vpn/protonvpn/xmachina) |
| 19:48:28 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 19:48:53 | xmachina1 | is now known as xmachina |
| 19:50:45 | → | sm joins (~sm@plaintextaccounting/sm) |
| 19:58:24 | → | texasmynsted joins (~username@99.96.221.112) |
| 20:03:03 | × | xmachina quits (xmachina@gateway/vpn/protonvpn/xmachina) (Ping timeout: 240 seconds) |
| 20:05:56 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 20:06:00 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:10:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 20:12:03 | × | sgarcia quits (sgarcia@swarm.znchost.com) (Server closed connection) |
| 20:12:13 | × | cassiopea quits (~cassiopea@user/cassiopea) (Quit: leaving) |
| 20:12:14 | → | sgarcia joins (sgarcia@swarm.znchost.com) |
| 20:15:43 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:17:21 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 20:17:24 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 20:24:14 | → | ubert1 joins (~Thunderbi@91.141.40.168.wireless.dyn.drei.com) |
| 20:24:31 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:25:53 | × | ubert quits (~Thunderbi@178.165.172.53.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 20:25:53 | ubert1 | is now known as ubert |
| 20:27:34 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 20:28:58 | × | polaris^ quits (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 20:30:22 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:32:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 20:32:55 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 20:33:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 20:33:18 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:33:37 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 20:35:20 | → | Square3 joins (~Square4@user/square) |
| 20:38:40 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 20:40:39 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 20:42:38 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 20:43:48 | → | lisphacker joins (~lisphacke@38.242.160.204) |
| 20:45:32 | × | lisphacker quits (~lisphacke@38.242.160.204) (Client Quit) |
| 20:46:14 | → | michalz joins (~michalz@185.246.207.217) |
| 20:50:06 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 20:50:35 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 20:50:54 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 20:53:47 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 20:57:03 | × | qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Server closed connection) |
| 20:57:14 | → | qhong joins (~qhong@rescomp-21-400677.stanford.edu) |
| 21:02:31 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 21:06:37 | × | ubert quits (~Thunderbi@91.141.40.168.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 21:11:21 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 21:12:21 | × | JeremyB99 quits (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) (Read error: Connection reset by peer) |
| 21:17:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:18:02 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 21:22:34 | × | acidjnk quits (~acidjnk@p200300d6e7072f02a592eaf46e417577.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 21:24:18 | → | JeremyB99 joins (~JeremyB99@2607:fb90:8d60:ee30:fc70:2f19:34ae:43d) |
| 21:26:30 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:27:51 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 21:31:24 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:7048:75fa:6b76:2f61) (Ping timeout: 248 seconds) |
| 21:37:35 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 21:43:30 | × | dunj3 quits (~dunj3@kingdread.de) (Remote host closed the connection) |
| 21:44:40 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:44:44 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:e3fb:cd8e:9d7a:53c5) |
| 21:48:10 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 21:49:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 22:01:16 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 22:02:07 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 22:05:22 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:11:50 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:12:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:15:15 | She | is now known as ShE |
| 22:17:37 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:20:03 | ShE | is now known as She |
| 22:29:05 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 240 seconds) |
| 22:37:41 | <Axman6> | Can anyone name a better documented library than formatting? https://hackage.haskell.org/package/formatting look at this, Alex (et al.) has done an amazing job |
| 22:40:13 | → | pavonia joins (~user@user/siracusa) |
| 22:40:48 | <monochrom> | Perhaps lens, if you measure the ratio how-good-it-is : intrinsically-how-hard-to-doc-at-all |
| 22:41:45 | <Axman6> | yeah it would have to be up there too |
| 22:45:52 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:47:50 | <Axman6> | Oh man, I totally should have read those docs I'm going on about, I would've learned about viewed, which I reinvented a few weeks ago |
| 22:49:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:51:59 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 22:52:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:57:03 | × | bsima quits (~bsima@2604:a880:400:d0::19f1:7001) (Server closed connection) |
| 22:57:23 | → | bsima joins (~bsima@2604:a880:400:d0::19f1:7001) |
| 23:07:35 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 23:10:35 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 23:12:06 | <jackdk> | wow, that's a cool combinator |
| 23:14:33 | → | privacy joins (~privacy@47.219.84.6) |
| 23:15:08 | <Axman6> | jackdk: should remind you of the convo we had a few weeks elsewhere, about adding a premap combinator |
| 23:16:02 | <jackdk> | Axman6: the one I wanted to call `>%<`? Is that `accessed`? |
| 23:16:24 | <Axman6> | yeah, i wanted an infix accessed |
| 23:17:00 | → | Inst joins (~Inst@120.244.192.250) |
| 23:18:33 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:23:43 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 23:35:57 | → | libertyprime joins (~libertypr@210.55.232.12) |
| 23:36:02 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:47:15 | shapr | hops randomly |
| 23:47:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 23:52:39 | × | libertyprime quits (~libertypr@210.55.232.12) (Ping timeout: 240 seconds) |
| 23:57:50 | <Axman6> | Woah now, we'll have none of that impurity around here, thank you very much! |
| 23:58:11 | <jackdk> | shapr hops exactly four times, then another four, then another four, ... |
| 23:58:26 | <Axman6> | much better |
| 23:58:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 23:59:11 | <geekosaur> | IO Shapr |
| 23:59:26 | <meejah> | +1 for "any prose docs at all" -- that's one thing I find "many" Haskell libs don't have (or need more of) ... as a beginner ;) |
All times are in UTC on 2023-09-18.