Logs: liberachat/#haskell
| 2021-07-22 11:12:35 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2021-07-22 11:13:15 | → | Alex_test joins (~al_test@178.34.162.117) |
| 2021-07-22 11:14:00 | → | AlexZenon joins (~alzenon@178.34.162.117) |
| 2021-07-22 11:14:31 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-22 11:15:54 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-22 11:16:11 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Client Quit) |
| 2021-07-22 11:21:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-22 11:21:57 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 276 seconds) |
| 2021-07-22 11:22:52 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 11:24:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 11:26:35 | × | dunj3 quits (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) (Ping timeout: 255 seconds) |
| 2021-07-22 11:33:13 | × | awth13 quits (~user@user/awth13) (Read error: Connection reset by peer) |
| 2021-07-22 11:33:27 | → | awth13 joins (~user@user/awth13) |
| 2021-07-22 11:34:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-22 11:36:54 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-22 11:38:02 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-22 11:38:44 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 255 seconds) |
| 2021-07-22 11:42:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-22 11:43:07 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 11:48:11 | <arkanoid> | now sure when I should use let and when I should use where |
| 2021-07-22 11:51:45 | → | johnw joins (~johnw@2600:1700:cf00:db0:b972:d95b:bd23:4be) |
| 2021-07-22 11:52:01 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-22 11:54:06 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 252 seconds) |
| 2021-07-22 11:55:03 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 11:59:32 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 256 seconds) |
| 2021-07-22 11:59:47 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 12:01:13 | → | mei joins (~mei@user/mei) |
| 2021-07-22 12:01:29 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-22 12:03:32 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 12:05:18 | × | sndr quits (~sander@user/sander) (Quit: So long! :)) |
| 2021-07-22 12:06:35 | → | sander joins (~sander@user/sander) |
| 2021-07-22 12:07:36 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 2021-07-22 12:14:21 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-22 12:20:19 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-22 12:21:53 | ← | artagnon parts (sid7560@id-7560.tooting.irccloud.com) () |
| 2021-07-22 12:29:08 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-9a5a-f445-7fbc-9e55.fixed6.kpn.net) |
| 2021-07-22 12:33:49 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-22 12:34:42 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 245 seconds) |
| 2021-07-22 12:39:29 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 12:44:00 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 12:45:22 | × | fluffyballoon quits (~fluffybal@pat-verona-l.epic.com) (Quit: Client closed) |
| 2021-07-22 12:45:41 | → | fluffyballoon joins (~fluffybal@pat-verona-l.epic.com) |
| 2021-07-22 12:46:04 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 258 seconds) |
| 2021-07-22 12:47:32 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 12:49:08 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 12:51:39 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
| 2021-07-22 12:52:23 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 12:53:19 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-22 12:53:55 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-22 12:55:00 | × | Brianmancer quits (~Neuromanc@user/briandamag) (Read error: Connection reset by peer) |
| 2021-07-22 12:55:47 | AlexNoo_ | is now known as AlexNoo |
| 2021-07-22 12:56:19 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-22 12:56:25 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-22 12:56:25 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-07-22 12:56:26 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 2021-07-22 12:56:44 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-07-22 12:57:06 | → | bsima1 joins (~bsima@simatime.com) |
| 2021-07-22 12:57:34 | × | anderson quits (~ande@134.209.221.71) (Remote host closed the connection) |
| 2021-07-22 12:57:34 | × | glider quits (~glider@user/glider) (Quit: ZNC 1.9.x-git-111-f2cdc3db - https://znc.in) |
| 2021-07-22 12:57:55 | → | anderson joins (~ande@134.209.221.71) |
| 2021-07-22 12:58:39 | → | dolio joins (~dolio@130.44.130.54) |
| 2021-07-22 12:58:44 | × | blades quits (~blades@204.48.29.163) (Ping timeout: 265 seconds) |
| 2021-07-22 12:59:13 | × | bsima quits (~bsima@simatime.com) (Ping timeout: 265 seconds) |
| 2021-07-22 12:59:15 | → | urdh joins (~urdh@user/urdh) |
| 2021-07-22 12:59:34 | → | blades joins (~blades@204.48.29.163) |
| 2021-07-22 12:59:57 | → | glider joins (~glider@user/glider) |
| 2021-07-22 13:01:09 | → | alx741 joins (~alx741@186.178.108.210) |
| 2021-07-22 13:04:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-22 13:06:33 | <delYsid> | > flip elem [1,2,3] 2 |
| 2021-07-22 13:06:35 | <lambdabot> | True |
| 2021-07-22 13:06:43 | <delYsid> | arkanoid: ^ |
| 2021-07-22 13:06:51 | <delYsid> | :t flip |
| 2021-07-22 13:06:52 | <lambdabot> | (a -> b -> c) -> b -> a -> c |
| 2021-07-22 13:07:01 | <arkanoid> | thanks! |
| 2021-07-22 13:07:35 | → | Bayes joins (~Bayes@ics177-97.icsincorporated.com) |
| 2021-07-22 13:07:54 | <delYsid> | and |
| 2021-07-22 13:08:01 | × | Bayes quits (~Bayes@ics177-97.icsincorporated.com) (Changing host) |
| 2021-07-22 13:08:01 | → | Bayes joins (~Bayes@user/bayes) |
| 2021-07-22 13:08:05 | <delYsid> | > (`elem` [1,2,3]) 2 |
| 2021-07-22 13:08:07 | <lambdabot> | True |
| 2021-07-22 13:08:17 | <delYsid> | which you already discovered |
| 2021-07-22 13:09:06 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-22 13:12:11 | × | juhp quits (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-07-22 13:12:24 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-07-22 13:14:29 | → | jay_invariant joins (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
| 2021-07-22 13:15:06 | → | slycelote_ joins (~slycelote@user/slycelote) |
| 2021-07-22 13:16:00 | → | bbhoss_ joins (sid18216@id-18216.tinside.irccloud.com) |
| 2021-07-22 13:16:01 | → | qontinuum_ joins (qontinuum@user/qontinuum) |
| 2021-07-22 13:16:03 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-22 13:16:07 | → | davl_ joins (~davl@207.154.228.18) |
| 2021-07-22 13:16:09 | → | maerwald_ joins (~maerwald@mail.hasufell.de) |
| 2021-07-22 13:16:15 | → | hsiktas_ joins (sid224847@id-224847.tooting.irccloud.com) |
| 2021-07-22 13:16:25 | → | ubert1 joins (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
| 2021-07-22 13:16:34 | → | dminuoso_ joins (~dminuoso@static.88-198-218-68.clients.your-server.de) |
| 2021-07-22 13:16:37 | → | tbg joins (~trueboxgu@user/trueboxguy) |
| 2021-07-22 13:16:39 | → | hexology- joins (~hexology@user/hexology) |
| 2021-07-22 13:16:41 | → | dragesti- joins (~znc@user/dragestil) |
| 2021-07-22 13:16:42 | → | viluon_ joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-07-22 13:17:03 | → | koz- joins (~koz@121.99.240.58) |
| 2021-07-22 13:17:35 | → | Flonk2 joins (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
All times are in UTC.