Logs: liberachat/#haskell
| 2021-06-03 09:21:24 | × | hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:39 | × | eddiemundo quits (~eddiemund@2001:470:69fc:105::a9c) (Ping timeout: 272 seconds) |
| 2021-06-03 09:22:31 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-03 09:24:02 | → | ddellacosta joins (~ddellacos@89.46.62.66) |
| 2021-06-03 09:24:15 | × | hololeap quits (hololeap@user/hololeap) (Ping timeout: 265 seconds) |
| 2021-06-03 09:24:39 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-03 09:25:21 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-03 09:25:23 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 09:25:32 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:25:48 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 09:27:01 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:28:16 | × | ddellacosta quits (~ddellacos@89.46.62.66) (Ping timeout: 245 seconds) |
| 2021-06-03 09:28:37 | × | koishi_ quits (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-06-03 09:28:59 | × | Guest7513 quits (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) (Quit: Guest7513) |
| 2021-06-03 09:29:14 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 09:29:55 | → | bmsk joins (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) |
| 2021-06-03 09:29:56 | × | satai quits (~satai@static-84-42-172-253.net.upcbroadband.cz) (Ping timeout: 245 seconds) |
| 2021-06-03 09:30:32 | × | hexo quits (~hexo@user/hexo) (Ping timeout: 265 seconds) |
| 2021-06-03 09:30:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 09:32:19 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:33:07 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:33:28 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 244 seconds) |
| 2021-06-03 09:34:21 | × | Guest15 quits (~Guest15@103.122.67.164) (Quit: Connection closed) |
| 2021-06-03 09:34:49 | → | dutchgriffon joins (~laurens@2604:3d08:4383:6200:e869:64ae:1b8e:29e) |
| 2021-06-03 09:35:04 | × | dutchgriffon quits (~laurens@2604:3d08:4383:6200:e869:64ae:1b8e:29e) (Client Quit) |
| 2021-06-03 09:35:08 | → | a6a45081-2b83 joins (~aditya@106.212.70.132) |
| 2021-06-03 09:35:11 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2021-06-03 09:36:39 | → | ddellacosta joins (~ddellacos@89.45.224.209) |
| 2021-06-03 09:38:55 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:39:05 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-03 09:39:06 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 244 seconds) |
| 2021-06-03 09:40:31 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:40:54 | → | ixlun joins (~matthew@109.249.184.235) |
| 2021-06-03 09:41:03 | → | shryke_ joins (~shryke@91.103.43.254) |
| 2021-06-03 09:41:32 | → | ddellaco_ joins (~ddellacos@86.106.121.23) |
| 2021-06-03 09:41:43 | × | ddellacosta quits (~ddellacos@89.45.224.209) (Ping timeout: 268 seconds) |
| 2021-06-03 09:41:57 | <tdammers> | there's also the "scratch an itch" thing |
| 2021-06-03 09:42:52 | <tdammers> | those are all books that "the community" could use, but right now, the majority of working haskellers are quite experienced, and fairly capable of figuring those things out themselves, based on experiences in other languages and general exposure to programming in the trenches |
| 2021-06-03 09:44:21 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 272 seconds) |
| 2021-06-03 09:48:51 | × | jess quits (~jess@libera/staff/jess) (Remote host closed the connection) |
| 2021-06-03 09:48:51 | × | ddellaco_ quits (~ddellacos@86.106.121.23) (Ping timeout: 268 seconds) |
| 2021-06-03 09:48:52 | × | chexum quits (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Remote host closed the connection) |
| 2021-06-03 09:48:52 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 09:48:52 | → | node-sh_ joins (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 09:48:54 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:50:46 | → | hexo joins (~hexo@2a02-ab04-2843-9500-b89d-68e0-efec-efc5.dynamic.v6.chello.sk) |
| 2021-06-03 09:50:46 | × | hexo quits (~hexo@2a02-ab04-2843-9500-b89d-68e0-efec-efc5.dynamic.v6.chello.sk) (Changing host) |
| 2021-06-03 09:50:46 | → | hexo joins (~hexo@user/hexo) |
| 2021-06-03 09:50:47 | × | node-sh quits (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Ping timeout: 272 seconds) |
| 2021-06-03 09:50:54 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 09:50:56 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:52:27 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:53:02 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 09:53:46 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 09:54:14 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:56:17 | → | lambdap4 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-06-03 09:56:17 | → | cjay- joins (cjay@nerdbox.nerd2nerd.org) |
| 2021-06-03 09:56:19 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 272 seconds) |
| 2021-06-03 09:56:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 09:56:36 | <a6a45081-2b83> | how can i find a function that takes Screen Id, i.e ∃a s.t. f:: ScreenId -> a |
| 2021-06-03 09:56:54 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-03 09:57:23 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-03 09:57:31 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-03 09:57:57 | <a6a45081-2b83> | "@h ScreenId -> a" hoogle queries are ∀ a f :: ScreenId -> a |
| 2021-06-03 09:58:09 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-03 09:59:00 | → | nshepperd29 joins (~nshepperd@li364-218.members.linode.com) |
| 2021-06-03 09:59:06 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:59:09 | → | ddellacosta joins (~ddellacos@86.106.121.24) |
| 2021-06-03 09:59:30 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Killed (NickServ (GHOST command used by nshepperd29))) |
| 2021-06-03 09:59:31 | nshepperd29 | is now known as nshepperd2 |
| 2021-06-03 10:00:50 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:01:19 | × | Pent quits (sid313808@id-313808.tooting.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:19 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (*.net *.split) |
| 2021-06-03 10:01:19 | × | Megant quits (megant@user/megant) (*.net *.split) |
| 2021-06-03 10:01:19 | × | liskin quits (~liskin@ackle.nomi.cz) (*.net *.split) |
| 2021-06-03 10:01:19 | × | bsima quits (~bsima@simatime.com) (*.net *.split) |
| 2021-06-03 10:01:19 | × | pie_bnc quits (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2021-06-03 10:01:19 | × | sm2n quits (~sm2n@user/sm2n) (*.net *.split) |
| 2021-06-03 10:01:19 | × | ham quits (~ham4@user/ham) (*.net *.split) |
| 2021-06-03 10:01:19 | × | ivan quits (~ivan@user/ivan) (*.net *.split) |
| 2021-06-03 10:01:19 | × | edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2021-06-03 10:01:19 | × | NemesisD quits (sid24071@2001:67c:2f08:4::5e07) (*.net *.split) |
| 2021-06-03 10:01:19 | × | iphy quits (sid67735@2001:67c:2f08:4::1:897) (*.net *.split) |
| 2021-06-03 10:01:19 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
| 2021-06-03 10:01:20 | × | thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (*.net *.split) |
| 2021-06-03 10:01:20 | × | amir quits (sid22336@user/amir) (*.net *.split) |
| 2021-06-03 10:01:20 | × | agander_m quits (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 | × | Aighearach quits (~paris@c-71-63-160-210.hsd1.or.comcast.net) (*.net *.split) |
| 2021-06-03 10:01:20 | × | samebchase quits (~samebchas@51.15.68.182) (*.net *.split) |
| 2021-06-03 10:01:20 | × | keltono quits (~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split) |
| 2021-06-03 10:01:20 | × | alp quits (~alp@user/alp) (*.net *.split) |
| 2021-06-03 10:01:20 | × | mstruebing quits (~maex@2001:41d0:8:93c7::1) (*.net *.split) |
| 2021-06-03 10:01:20 | × | dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-06-03 10:01:20 | × | ajb quits (~ajb@cupid.whatbox.ca) (*.net *.split) |
| 2021-06-03 10:01:20 | × | mthvedt quits (uid501949@id-501949.stonehaven.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 | × | teehemkay quits (sid14792@id-14792.tooting.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 | × | bcoppens quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
| 2021-06-03 10:01:20 | × | dixie quits (~dixie@real.wilbury.sk) (*.net *.split) |
| 2021-06-03 10:01:20 | × | motherfsck quits (~motherfsc@user/motherfsck) (*.net *.split) |
All times are in UTC.