Logs: freenode/#haskell
| 2021-05-20 17:48:31 | → | Enrico63 joins (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) |
| 2021-05-20 17:48:58 | × | ram19890 quits (~ram@49.205.84.211) (Ping timeout: 265 seconds) |
| 2021-05-20 17:49:01 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 17:50:09 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-05-20 17:51:00 | × | tureba quits (~tureba@tureba.org) (Quit: Changing server) |
| 2021-05-20 17:51:01 | → | tefter joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-05-20 17:51:44 | ← | shapr parts (~shapr@haskell/developer/shapr) ("ERC (IRC client for Emacs 27.1)") |
| 2021-05-20 17:53:39 | → | siers joins (~siers@NixOS/user/siers) |
| 2021-05-20 17:55:13 | × | kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-05-20 17:55:32 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-20 17:57:34 | × | rihards quits (~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards) |
| 2021-05-20 17:57:59 | zzz | is now known as yin |
| 2021-05-20 17:58:21 | × | Bigcheese quits (~quassel@unaffiliated/bigcheese) (Remote host closed the connection) |
| 2021-05-20 17:58:35 | → | Bigcheese joins (~quassel@unaffiliated/bigcheese) |
| 2021-05-20 17:59:33 | → | malumore_ joins (~malumore@151.62.126.139) |
| 2021-05-20 18:01:13 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-05-20 18:01:58 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-05-20 18:03:21 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-20 18:05:50 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-koqhzonujkfnchnr) (Quit: Connection closed for inactivity) |
| 2021-05-20 18:06:31 | × | kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-05-20 18:06:52 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-20 18:07:08 | → | network_operatio joins (~McCafe@66.115.182.137) |
| 2021-05-20 18:07:08 | × | network_operatio quits (~McCafe@66.115.182.137) (Max SendQ exceeded) |
| 2021-05-20 18:07:23 | × | Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-20 18:07:59 | → | idhugo joins (~idhugo@80-62-117-193-mobile.dk.customer.tdc.net) |
| 2021-05-20 18:08:55 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-20 18:09:13 | → | ddb joins (~ddb@2607:5300:61:c67::196) |
| 2021-05-20 18:09:36 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 18:10:14 | × | sysadmin quits (~McCafe@104.223.127.243) (Ping timeout: 260 seconds) |
| 2021-05-20 18:10:40 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 2021-05-20 18:11:31 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-20 18:13:06 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 240 seconds) |
| 2021-05-20 18:13:14 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-20 18:13:36 | → | rihards joins (~rihards@balticom-142-78-50.balticom.lv) |
| 2021-05-20 18:13:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-20 18:14:10 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-20 18:14:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-20 18:14:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-20 18:15:33 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-oszkgjvkelevpljr) (Quit: Connection closed for inactivity) |
| 2021-05-20 18:17:14 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-20 18:17:51 | bbear_ | is now known as bbear |
| 2021-05-20 18:18:47 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-20 18:19:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-20 18:20:37 | × | joncol quits (~jco@c83-248-173-38.bredband.tele2.se) (Quit: leaving) |
| 2021-05-20 18:25:59 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-20 18:26:25 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-20 18:27:07 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-20 18:28:05 | → | Enrico63 joins (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) |
| 2021-05-20 18:29:19 | × | dyeplexer quits (~terpin@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-20 18:29:24 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-20 18:30:09 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-20 18:31:06 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-20 18:32:40 | → | ram19890 joins (~ram@49.205.84.211) |
| 2021-05-20 18:33:26 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-20 18:33:45 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 18:35:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-20 18:40:27 | × | simplegauss quits (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 2021-05-20 18:43:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-20 18:45:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-20 18:46:48 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-20 18:47:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-05-20 18:47:57 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-05-20 18:48:36 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-20 18:49:40 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 18:52:24 | → | fendor joins (~fendor@91.141.0.161.wireless.dyn.drei.com) |
| 2021-05-20 18:53:42 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-05-20 18:54:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-20 18:58:49 | → | guriya joins (a0ee4b0b@unaffiliated/guriya) |
| 2021-05-20 19:01:03 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-20 19:01:36 | → | mananamenos_ joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-05-20 19:01:46 | × | ram19890 quits (~ram@49.205.84.211) (Remote host closed the connection) |
| 2021-05-20 19:02:04 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-20 19:02:30 | → | ocket8888 joins (~ocket8888@2601:280:4e80:c2e0:80a5:a95e:5674:3382) |
| 2021-05-20 19:04:14 | <kilolympus> | @pl f a b c d e f g = g a b c d e f g |
| 2021-05-20 19:04:15 | <lambdabot> | f = flip flip id . ((flip . ((flip . ((flip . ((flip . (ap .) . flip) .) . flip) .) . flip) .) . flip) .) . flip . flip id |
| 2021-05-20 19:04:20 | <kilolympus> | Is this not just f = g? |
| 2021-05-20 19:04:22 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2021-05-20 19:05:20 | <EvanR> | nope |
| 2021-05-20 19:05:48 | <EvanR> | g is used twice on the RHS |
| 2021-05-20 19:06:18 | <kilolympus> | oh shoot |
| 2021-05-20 19:06:28 | <kilolympus> | That's entirely my bad then, whoops! |
| 2021-05-20 19:06:34 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:9431:e551:c6ea:9b26) |
| 2021-05-20 19:06:43 | <EvanR> | @pl f a b c d e f g = h a b c d e f g |
| 2021-05-20 19:06:43 | <lambdabot> | f = h |
| 2021-05-20 19:07:03 | <kilolympus> | ah |
| 2021-05-20 19:07:05 | <kilolympus> | beautiful |
| 2021-05-20 19:07:46 | <kilolympus> | @pl f a b c d e f g = h a b c d e f g >>= monadicFunc |
| 2021-05-20 19:07:47 | <lambdabot> | f = flip flip monadicFunc . ((flip . ((flip . ((flip . ((flip . ((flip . ((>>=) .)) .)) .)) .)) .)) .) . h |
| 2021-05-20 19:08:33 | <kilolympus> | Alas, it didn't help very much in a monadic context :( |
| 2021-05-20 19:08:45 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-20 19:08:57 | <guriya> | f = flip flip monadicFunc . ((flip . ((flip . ((flip . ((flip . ((flip . ((>>=) .)) .)) .)) .)) .)) .) . h |
| 2021-05-20 19:09:00 | <guriya> | what is that |
| 2021-05-20 19:09:21 | <guriya> | flip flip coin |
| 2021-05-20 19:09:41 | <EvanR> | :t monadicFunc |
| 2021-05-20 19:09:42 | <lambdabot> | error: Variable not in scope: monadicFunc |
| 2021-05-20 19:09:45 | <kilolympus> | a failed attempt at making a monadic chain point-free :( |
| 2021-05-20 19:10:12 | <EvanR> | oh |
| 2021-05-20 19:11:36 | ← | tv- parts (~tv@unaffiliated/tv-) ("WeeChat 2.9") |
| 2021-05-20 19:13:18 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-20 19:17:08 | ← | zgrep parts (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) ("Away I go.") |
All times are in UTC.