Logs on 2024-02-25 (liberachat/#haskell)
| 00:05:11 | → | codaraxis__ joins (~codaraxis@user/codaraxis) |
| 00:09:07 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 00:14:21 | → | average joins (uid473595@user/average) |
| 00:17:16 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 00:17:29 | → | mmhat joins (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) |
| 00:17:38 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:20:58 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 00:21:18 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 00:25:13 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 255 seconds) |
| 00:28:50 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 00:30:03 | × | acidjnk quits (~acidjnk@p200300d6e737e756e0799c90b43bb6d6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 00:37:12 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 00:37:29 | → | igemnace joins (~ian@user/igemnace) |
| 00:39:16 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Client Quit) |
| 00:48:19 | × | dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 00:49:31 | → | dtman34 joins (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
| 00:51:08 | ← | haftl parts (~user@user/haftl) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 01:00:10 | × | yoo quits (~yo0O0o@104.28.226.104) (Ping timeout: 246 seconds) |
| 01:00:28 | × | dtman34 quits (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 01:01:13 | × | destituion quits (~destituio@2a02:2121:6b0:945a:fb41:5f60:ee0c:e724) (Ping timeout: 255 seconds) |
| 01:02:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:03:48 | → | califax joins (~califax@user/califx) |
| 01:04:48 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 01:10:12 | → | amjoseph joins (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 01:12:07 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 01:13:22 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:13:43 | → | califax joins (~califax@user/califx) |
| 01:13:48 | → | yoo joins (~yo0O0o@104.28.194.105) |
| 01:17:30 | <cheater> | rate my parser https://github.com/cheater/prompt/blob/master/prompt |
| 01:18:46 | <d34df00d> | Apparently too many ghc extensions for me to understand the code. |
| 01:20:42 | <cheater> | heh. |
| 01:22:29 | × | mmhat quits (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 01:23:33 | → | dtman34 joins (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) |
| 01:31:49 | × | komikat quits (~akshitkr@218.185.248.66) (Ping timeout: 256 seconds) |
| 01:35:52 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 255 seconds) |
| 01:39:53 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 01:41:38 | → | tessier joins (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 01:48:25 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 01:52:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 01:54:27 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:08:43 | → | notzmv joins (~daniel@user/notzmv) |
| 02:10:08 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 02:18:49 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:19:58 | × | mulk quits (~mulk@pd9514bb2.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 02:20:22 | → | mulk joins (~mulk@pd95143d7.dip0.t-ipconnect.de) |
| 02:33:29 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 02:43:08 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:44:29 | × | yoo quits (~yo0O0o@104.28.194.105) (Ping timeout: 240 seconds) |
| 02:51:01 | → | igemnace joins (~ian@user/igemnace) |
| 02:54:38 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 02:59:40 | × | otto_s quits (~user@p5de2ff2d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 03:01:15 | → | otto_s joins (~user@p5b04471c.dip0.t-ipconnect.de) |
| 03:02:40 | → | yoo joins (~yo0O0o@104.28.194.106) |
| 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:32 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:11:51 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 03:13:59 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 03:14:10 | → | Axma92735 joins (~Axman6@user/axman6) |
| 03:15:56 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 03:17:05 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 03:17:23 | × | td_ quits (~td@i53870933.versanet.de) (Ping timeout: 272 seconds) |
| 03:18:48 | → | td_ joins (~td@i53870917.versanet.de) |
| 03:28:21 | Axma92735 | is now known as Axman6 |
| 03:42:34 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:28 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 03:45:28 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 03:59:11 | × | yoo quits (~yo0O0o@104.28.194.106) (Ping timeout: 272 seconds) |
| 04:06:50 | → | yoo joins (~yo0O0o@104.28.226.106) |
| 04:10:12 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 04:14:48 | × | yoo quits (~yo0O0o@104.28.226.106) (Ping timeout: 260 seconds) |
| 04:16:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:21:17 | × | jargon quits (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 04:28:13 | × | bilegeek quits (~bilegeek@2600:1008:b086:477d:7583:8839:720f:c01b) (Quit: Leaving) |
| 04:32:17 | → | aforemny joins (~aforemny@2001:9e8:6ce6:e500:e763:b68f:f774:77ed) |
| 04:32:49 | × | aforemny_ quits (~aforemny@2001:9e8:6cc2:9000:e4e7:200e:bd59:b73a) (Ping timeout: 264 seconds) |
| 04:42:48 | × | rekahsoft quits (~rekahsoft@70.51.99.248) (Ping timeout: 260 seconds) |
| 04:45:22 | → | rvalue joins (~rvalue@user/rvalue) |
| 04:52:46 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 05:11:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 05:12:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 05:12:35 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:16:21 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:02:36 | × | mulk quits (~mulk@pd95143d7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 06:05:18 | <dmj`> | are there any implementations of THIH that use constraint solving |
| 06:12:51 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:13:38 | × | average quits (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 06:17:53 | → | mulk joins (~mulk@p5b112848.dip0.t-ipconnect.de) |
| 06:18:58 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:23:12 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 06:25:00 | × | mulk quits (~mulk@p5b112848.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 06:25:48 | → | mulk joins (~mulk@p5b112853.dip0.t-ipconnect.de) |
| 06:29:04 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 06:29:26 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:30:17 | × | mulk quits (~mulk@p5b112853.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 06:31:51 | → | mulk joins (~mulk@pd95140bb.dip0.t-ipconnect.de) |
| 06:37:38 | × | myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 06:52:43 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 06:55:38 | × | meinside quits (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:00:31 | → | paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 07:07:56 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 07:10:04 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:16:23 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 07:18:34 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 07:21:18 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:22:29 | × | dtman34 quits (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) (Ping timeout: 240 seconds) |
| 07:27:40 | → | iteratee_ joins (~kyle@162.218.222.207) |
| 07:28:03 | → | dtman34 joins (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) |
| 07:30:50 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 268 seconds) |
| 07:32:37 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:34:30 | × | iteratee_ quits (~kyle@162.218.222.207) (Ping timeout: 255 seconds) |
| 07:37:40 | → | iteratee_ joins (~kyle@162.218.222.207) |
| 07:39:45 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 07:40:05 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 268 seconds) |
| 07:40:07 | × | iteratee_ quits (~kyle@162.218.222.207) (Client Quit) |
| 07:40:28 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:41:25 | × | iteratee quits (~kyle@162.218.222.207) (Client Quit) |
| 07:41:41 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:42:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:43:05 | → | michalz joins (~michalz@185.246.207.203) |
| 07:53:39 | × | raym quits (~ray@user/raym) (Remote host closed the connection) |
| 08:00:07 | × | tt1231 quits (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 08:02:01 | → | arahael joins (~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net) |
| 08:02:13 | → | tt1231 joins (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 08:14:07 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 08:20:18 | → | Square joins (~Square@user/square) |
| 08:23:47 | × | bontaq quits (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 08:31:08 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 08:31:50 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 08:35:32 | → | acidjnk joins (~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de) |
| 08:41:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:48:35 | → | igemnace joins (~ian@user/igemnace) |
| 08:50:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:52:48 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 08:57:09 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 09:07:33 | → | gmg joins (~user@user/gehmehgeh) |
| 09:10:22 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:15:11 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 09:17:06 | × | michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:18:14 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 09:38:46 | → | mmhat joins (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) |
| 09:39:04 | × | mmhat quits (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 09:42:27 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 09:45:58 | → | igemnace joins (~ian@user/igemnace) |
| 09:48:13 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:49:22 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:57:34 | → | CiaoSen joins (~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03) |
| 09:58:49 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 09:59:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 10:20:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:22:01 | × | CiaoSen quits (~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 10:23:48 | → | CiaoSen joins (~Jura@2a05:5800:281:b300:e6b9:7aff:fe80:3d03) |
| 10:26:56 | → | target_i joins (~target_i@217.175.14.39) |
| 10:30:59 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 10:31:48 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 10:34:14 | → | _xor7 joins (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 10:36:08 | × | _xor quits (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 10:36:09 | _xor7 | is now known as _xor |
| 10:47:33 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 10:49:04 | → | igemnace joins (~ian@user/igemnace) |
| 10:54:13 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:54:21 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 11:01:11 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 11:04:22 | ← | Heffalump parts (~ganesh@urchin.earth.li) () |
| 11:17:50 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:23:20 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 11:32:47 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 11:34:54 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 11:36:21 | × | driib quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 11:37:06 | → | haftl joins (~user@user/haftl) |
| 11:37:40 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 11:38:06 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 11:41:38 | × | driib quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 11:42:00 | → | rscastilho2024 joins (rscastilho@189.61.140.215) |
| 11:42:18 | × | rscastilho2024 quits (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 11:43:48 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 11:46:45 | × | driib quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 11:48:57 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 11:49:50 | × | lexi-lambda quits (sid92601@hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 11:50:24 | × | haftl quits (~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 11:53:03 | → | lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com) |
| 11:54:45 | → | testin joins (~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de) |
| 11:55:14 | × | testin quits (~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de) (Client Quit) |
| 12:00:38 | × | mrmr155334 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 12:03:04 | → | haftl joins (~user@user/haftl) |
| 12:03:37 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 12:06:45 | → | mrmr155334 joins (~mrmr@user/mrmr) |
| 12:26:07 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 12:30:58 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 12:32:04 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 12:33:21 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 12:39:31 | → | cheater_ joins (~Username@user/cheater) |
| 12:41:41 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 12:41:47 | cheater_ | is now known as cheater |
| 12:46:16 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 12:46:30 | → | euleritian joins (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
| 12:51:06 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 12:53:00 | × | euleritian quits (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:53:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 12:53:17 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:03:49 | → | tremon joins (~tremon@83.80.159.219) |
| 13:08:03 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:25:52 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 13:44:30 | × | TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 13:45:11 | → | ht_ joins (~Thunderbi@194.110.115.38) |
| 13:46:50 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 13:46:50 | ht_ | is now known as _ht |
| 13:54:27 | → | Lumia joins (~Lumia@user/Lumia) |
| 13:57:33 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 14:08:57 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 14:15:24 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 14:21:58 | × | phma quits (~phma@host-67-44-208-33.hnremote.net) (Read error: Connection reset by peer) |
| 14:22:53 | → | phma joins (phma@2001:5b0:211f:22f8:44a3:14c4:614e:e459) |
| 14:27:23 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 14:28:13 | <Heffalump> | if you have a compatibility problem with an indirect dependency, is it better to constrain it in foo.cabal, or in cabal.project? |
| 14:32:41 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 14:36:16 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:42:08 | → | zetef joins (~quassel@109.166.134.132) |
| 14:48:59 | → | raym joins (~ray@user/raym) |
| 14:49:06 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) |
| 14:50:27 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 14:55:44 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 15:00:40 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 15:00:55 | → | cods joins (~fred@tuxee.net) |
| 15:01:37 | × | zetef quits (~quassel@109.166.134.132) (Ping timeout: 264 seconds) |
| 15:01:46 | → | euleritian joins (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
| 15:12:12 | → | zetef joins (~quassel@109.166.134.132) |
| 15:14:51 | × | zetef quits (~quassel@109.166.134.132) (Read error: Connection reset by peer) |
| 15:17:45 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 15:18:52 | → | zetef joins (~quassel@109.166.134.132) |
| 15:27:20 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 15:45:32 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 15:46:04 | → | pavonia joins (~user@user/siracusa) |
| 15:48:22 | → | ht_ joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 15:48:37 | × | _ht quits (~Thunderbi@194.110.115.38) (Ping timeout: 255 seconds) |
| 15:48:37 | ht_ | is now known as _ht |
| 15:56:00 | × | zetef quits (~quassel@109.166.134.132) (Remote host closed the connection) |
| 15:57:14 | → | zetef joins (~quassel@109.166.134.132) |
| 15:57:45 | × | zetef quits (~quassel@109.166.134.132) (Remote host closed the connection) |
| 15:57:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:07:09 | → | jtza8 joins (~user@user/jtza8) |
| 16:10:16 | × | euleritian quits (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:10:34 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:10:43 | <jtza8> | I have this feeling I can't shake that there's already a function like this somewhere: both f g x = f x && g x |
| 16:11:58 | <jtza8> | So that you could do something like: both isDigit (/= 'x') |
| 16:12:32 | <jtza8> | It's like this is resting on a concept that I /should/ know the name of. |
| 16:12:55 | <sm> | Data.Bifunctor.bimap ? |
| 16:13:35 | <jtza8> | Ah. Thanks, I think it's probably something like that. |
| 16:14:00 | <L29Ah> | https://hoogle.haskell.org/?hoogle=(t%20->%20Bool)%20->%20(t%20->%20Bool)%20->%20t%20->%20Bool |
| 16:15:07 | <jtza8> | Hoogle. I should have known. |
| 16:19:02 | <ncf> | jtza8: https://hackage.haskell.org/package/base-4.19.1.0/docs/Data-Functor-Contravariant.html#t:Predicate |
| 16:19:11 | <ncf> | see the Semigroup instance |
| 16:19:57 | <ncf> | this is the instance you get by lifting the Monoid All instance to functions |
| 16:20:48 | <ncf> | (which you can achieve via liftA2 (<>)) |
| 16:24:11 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 16:24:47 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 16:25:07 | <jtza8> | Thank you, this would have kept bothering me. So much still to learn. :) |
| 16:25:11 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 16:29:34 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 16:31:58 | <sm> | Heffalump: .cabal because it'll also work for non cabal-install users ? |
| 16:32:08 | <mauke> | :t liftA2 (&&) |
| 16:32:09 | <lambdabot> | Applicative f => f Bool -> f Bool -> f Bool |
| 16:32:28 | <mauke> | :t \f g -> liftA2 (&&) f g |
| 16:32:29 | <lambdabot> | Applicative f => f Bool -> f Bool -> f Bool |
| 16:32:39 | <mauke> | :t \f g x -> liftA2 (&&) f g x |
| 16:32:39 | <lambdabot> | (t -> Bool) -> (t -> Bool) -> t -> Bool |
| 16:39:05 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 16:43:55 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 16:49:33 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 16:50:10 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 16:52:27 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 16:55:13 | <Heffalump> | sm: hmm, true |
| 16:58:52 | × | jtza8 quits (~user@user/jtza8) (Remote host closed the connection) |
| 17:01:46 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 17:08:55 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:12:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:20:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:20:25 | × | Lumia quits (~Lumia@user/Lumia) (Ping timeout: 256 seconds) |
| 17:21:01 | → | destituion joins (~destituio@2a02:2121:34a:61a6:cc4f:561a:e55c:73cc) |
| 17:28:10 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:28:37 | × | tt1231 quits (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 17:31:01 | → | michalz joins (~michalz@185.246.207.193) |
| 17:38:48 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Read error: Connection reset by peer) |
| 17:39:05 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 17:39:21 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 17:39:37 | ← | rscastilho2024 parts (~rscastilh@189.61.140.215) () |
| 17:39:42 | × | Philonous quits (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 17:40:07 | → | Philonous joins (~Philonous@user/philonous) |
| 17:42:52 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 17:45:00 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 17:47:52 | → | rvalue joins (~rvalue@user/rvalue) |
| 17:58:15 | → | Lumia joins (~Lumia@user/Lumia) |
| 18:01:20 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 18:13:01 | × | Lumia quits (~Lumia@user/Lumia) (Quit: ,-) |
| 18:21:16 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 18:23:41 | → | qqq joins (~qqq@92.43.167.61) |
| 18:24:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:27:07 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 18:29:23 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 18:34:41 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:35:20 | → | euleritian joins (~euleritia@77.22.252.56) |
| 18:50:18 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 18:54:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:13:45 | × | Jackneill quits (~Jackneill@20014C4E1E054000F26AF8BFB0516A57.dsl.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 19:14:56 | → | Jackneill joins (~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu) |
| 19:14:56 | × | Jackneill quits (~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu) (Remote host closed the connection) |
| 19:16:56 | → | Jackneill joins (~Jackneill@563BCD86.dsl.pool.telekom.hu) |
| 19:16:57 | × | Jackneill quits (~Jackneill@563BCD86.dsl.pool.telekom.hu) (Remote host closed the connection) |
| 19:18:43 | → | Jackneill joins (~Jackneill@563BCD86.dsl.pool.telekom.hu) |
| 19:18:44 | × | Jackneill quits (~Jackneill@563BCD86.dsl.pool.telekom.hu) (Max SendQ exceeded) |
| 19:25:14 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 19:25:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:30:22 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 19:32:01 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 19:38:00 | → | euleritian joins (~euleritia@77.22.252.56) |
| 19:38:00 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 19:45:50 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 19:46:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 19:49:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 20:01:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:02:24 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 20:03:00 | × | duncan quits (c6181279e3@user/duncan) (Remote host closed the connection) |
| 20:03:09 | → | duncan joins (c6181279e3@user/duncan) |
| 20:06:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:07:31 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 20:09:05 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:13:51 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 20:21:43 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:21:51 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 20:22:07 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 20:22:19 | → | euleritian joins (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
| 20:29:42 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:a91b:78d:f890:8e7c) (Remote host closed the connection) |
| 20:29:56 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:4fec:b58c:4116:4501) |
| 20:52:24 | → | zetef joins (~quassel@5.2.182.98) |
| 20:56:56 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 20:58:10 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:05:27 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 21:07:32 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 21:12:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 21:18:16 | → | jargon joins (~jargon@53.sub-174-205-227.myvzw.com) |
| 21:18:46 | → | bilegeek joins (~bilegeek@2600:1008:b048:350:910e:11e2:46d6:718e) |
| 21:19:38 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:28:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:38:18 | × | zetef quits (~quassel@5.2.182.98) (Remote host closed the connection) |
| 21:53:52 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 21:55:57 | × | michalz quits (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:58:30 | → | michalz joins (~michalz@185.246.207.200) |
| 22:02:56 | × | michalz quits (~michalz@185.246.207.200) (Client Quit) |
| 22:06:07 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 22:15:11 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 252 seconds) |
| 22:17:21 | → | iteratee joins (~kyle@162.218.222.207) |
| 22:22:25 | → | iteratee_ joins (~kyle@162.218.222.207) |
| 22:22:46 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 22:33:40 | → | sroso joins (~sroso@user/SrOso) |
| 22:34:02 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 22:36:58 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 22:37:26 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 22:39:53 | → | sroso joins (~sroso@user/SrOso) |
| 22:43:04 | × | haftl quits (~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 22:47:57 | × | acidjnk quits (~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 23:00:17 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 23:10:30 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:14:16 | × | bilegeek quits (~bilegeek@2600:1008:b048:350:910e:11e2:46d6:718e) (Quit: Leaving) |
| 23:15:32 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 23:26:00 | → | JamesMowery joins (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
| 23:38:05 | × | CiaoSen quits (~Jura@2a05:5800:281:b300:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds) |
| 23:49:27 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 23:50:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:54:44 | → | falafel joins (~falafel@wsip-98-160-52-184.dc.dc.cox.net) |
All times are in UTC on 2024-02-25.