Logs: freenode/#haskell
| 2020-09-18 23:52:24 | × | codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds) |
| 2020-09-18 23:52:39 | → | codygman joins (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) |
| 2020-09-18 23:54:10 | × | jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 272 seconds) |
| 2020-09-18 23:54:46 | × | jud quits (~jud@unaffiliated/jud) (Read error: Connection reset by peer) |
| 2020-09-18 23:54:55 | → | jneira_ joins (~jneira@80.30.101.206) |
| 2020-09-18 23:55:23 | <DekuDekuplex> | At this point, I guess I'll just see what happens and try logging back in here at approximately 1700 UTC or so. |
| 2020-09-18 23:55:35 | → | jud joins (~jud@unaffiliated/jud) |
| 2020-09-18 23:56:18 | <DekuDekuplex> | Thanks! I'll see what happens now. I need to log off. See you later! |
| 2020-09-18 23:57:23 | × | codygman quits (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer) |
| 2020-09-18 23:57:26 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-18 23:57:44 | → | codygman joins (~codygman@47.190.47.120) |
| 2020-09-18 23:59:05 | × | jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds) |
| 2020-09-18 23:59:42 | → | jneira_ joins (~jneira@38.red-193-152-116.dynamicip.rima-tde.net) |
| 2020-09-19 00:00:02 | × | Bjarki quits (~Bjarki@178.162.204.238) () |
| 2020-09-19 00:01:35 | <ski> | DekuDekuplex : interesting |
| 2020-09-19 00:01:45 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2020-09-19 00:02:37 | × | codygman quits (~codygman@47.190.47.120) (Ping timeout: 264 seconds) |
| 2020-09-19 00:03:35 | → | codygman joins (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) |
| 2020-09-19 00:03:36 | × | jneira_ quits (~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-09-19 00:04:40 | × | DekuDekuplex quits (~IceChat9@p7478089-ipngn34401marunouchi.tokyo.ocn.ne.jp) (Quit: Given the choice between you, I'll take the sea-sick crocodile.) |
| 2020-09-19 00:04:41 | × | brettgilio quits (~brettgili@104.131.40.243) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2020-09-19 00:04:55 | → | jneira_ joins (~jneira@80.30.101.206) |
| 2020-09-19 00:04:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-19 00:05:16 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-09-19 00:05:27 | → | lateef joins (~lateef@cpe-174-109-67-227.nc.res.rr.com) |
| 2020-09-19 00:07:26 | × | gienah quits (~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer) |
| 2020-09-19 00:07:30 | → | brettgilio joins (~brettgili@brettgilio.com) |
| 2020-09-19 00:10:16 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-09-19 00:12:31 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 244 seconds) |
| 2020-09-19 00:15:57 | → | jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com) |
| 2020-09-19 00:17:12 | → | mariatsji joins (~mariatsji@155.84-234-177.customer.lyse.net) |
| 2020-09-19 00:18:17 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-19 00:18:33 | × | fendor quits (~fendor@212095005091.public.telering.at) (Remote host closed the connection) |
| 2020-09-19 00:19:49 | × | jud quits (~jud@unaffiliated/jud) (Ping timeout: 260 seconds) |
| 2020-09-19 00:21:23 | × | mariatsji quits (~mariatsji@155.84-234-177.customer.lyse.net) (Ping timeout: 240 seconds) |
| 2020-09-19 00:22:35 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2020-09-19 00:28:57 | × | jchia_ quits (~jchia@58.32.37.220) (Quit: Leaving.) |
| 2020-09-19 00:38:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-19 00:39:11 | × | kanishka quits (~kanishka@107.242.116.74) (Quit: Quit) |
| 2020-09-19 00:39:32 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-19 00:40:25 | × | revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2020-09-19 00:40:48 | → | revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2020-09-19 00:41:56 | → | eflister joins (47ee2144@c-71-238-33-68.hsd1.or.comcast.net) |
| 2020-09-19 00:42:39 | × | codygman quits (~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer) |
| 2020-09-19 00:43:00 | → | codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-09-19 00:44:14 | × | Ariakenom quits (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2020-09-19 00:44:19 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2020-09-19 00:46:45 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2020-09-19 00:47:10 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-09-19 00:47:59 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Remote host closed the connection) |
| 2020-09-19 00:48:25 | × | teardown quits (~user@unaffiliated/mrush) (Ping timeout: 240 seconds) |
| 2020-09-19 00:53:15 | → | Tops2 joins (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) |
| 2020-09-19 00:54:07 | × | jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving) |
| 2020-09-19 00:54:23 | × | Tops21 quits (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 246 seconds) |
| 2020-09-19 00:54:29 | → | jud joins (~jud@unaffiliated/jud) |
| 2020-09-19 00:54:51 | → | Tops21 joins (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) |
| 2020-09-19 00:55:28 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 2020-09-19 00:55:46 | → | teardown joins (~user@unaffiliated/mrush) |
| 2020-09-19 00:57:03 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) |
| 2020-09-19 00:58:05 | × | Tops2 quits (~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2020-09-19 01:00:19 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-19 01:01:00 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2020-09-19 01:01:24 | × | mitchellsalad_ quits (uid40617@gateway/web/irccloud.com/x-emvpcqiqclhtoqyn) (Quit: Connection closed for inactivity) |
| 2020-09-19 01:04:52 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-09-19 01:05:53 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2020-09-19 01:06:46 | × | nullheroes quits (~danielvu@168.235.66.22) (Quit: WeeChat 2.9) |
| 2020-09-19 01:08:12 | × | xff0x_ quits (~fox@2001:1a81:533d:7300:a04c:63b1:3358:adfe) (Ping timeout: 260 seconds) |
| 2020-09-19 01:08:28 | → | monochrom joins (trebla@216.138.220.146) |
| 2020-09-19 01:09:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-19 01:09:51 | → | xff0x_ joins (~fox@2001:1a81:5373:6a00:7135:4a2f:509f:3c41) |
| 2020-09-19 01:11:57 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-09-19 01:14:43 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-sjortpcvbymtcblo) |
| 2020-09-19 01:15:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-09-19 01:22:03 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-19 01:22:58 | → | systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2020-09-19 01:25:34 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2020-09-19 01:27:16 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2020-09-19 01:28:29 | → | skvidal joins (~skvidal@193.56.252.210) |
| 2020-09-19 01:29:05 | × | jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds) |
| 2020-09-19 01:29:46 | × | systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-19 01:29:54 | → | jneira_ joins (~jneira@80.30.101.206) |
| 2020-09-19 01:30:19 | × | mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds) |
| 2020-09-19 01:32:05 | → | berberman_ joins (~berberman@2408:8207:256b:da50:584e:a9ff:fe9b:d3fe) |
| 2020-09-19 01:32:08 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-09-19 01:32:16 | × | berberman quits (~berberman@2408:8207:2566:53a0:584e:a9ff:fe9b:d3fe) (Ping timeout: 244 seconds) |
| 2020-09-19 01:37:25 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 246 seconds) |
| 2020-09-19 01:39:56 | → | DTZUZU joins (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net) |
| 2020-09-19 01:40:30 | → | boxscape joins (58823b0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.59.11) |
| 2020-09-19 01:41:19 | <boxscape> | % (+++) :: a -> b -> c -> a; (a +++ b) c = a |
| 2020-09-19 01:41:19 | <yahb> | boxscape: |
| 2020-09-19 01:41:20 | <boxscape> | % (+++) :: a -> b -> a; (a +++ b) = a |
| 2020-09-19 01:41:20 | <yahb> | boxscape: ; <interactive>:101:24: error: Parse error in pattern: a +++ b |
| 2020-09-19 01:41:30 | <boxscape> | hm, seems strange that the second one doesn't work |
| 2020-09-19 01:41:35 | <boxscape> | it works without the parens of coures, but... |
| 2020-09-19 01:41:42 | <boxscape> | seems inconsintent |
| 2020-09-19 01:41:47 | <boxscape> | wow I cannot spell today |
| 2020-09-19 01:42:10 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-19 01:42:28 | <monochrom> | Don't use parentheses in the 2nd one. The Haskell grammar does not anticipate it. |
| 2020-09-19 01:43:02 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-09-19 01:43:07 | <boxscape> | I realize that, I'm just surprised that the Haskell grammar is designed in that way :) |
All times are in UTC.