Logs: freenode/#haskell
| 2021-04-13 02:10:09 | <DigitalKiwi> | stack no blow up ;p |
| 2021-04-13 02:11:13 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-04-13 02:11:46 | <ski> | i agree it can be respectable to not have it, or have an explicit notation. (although i prefer having it, implicitly) |
| 2021-04-13 02:12:42 | × | oniijin quits (~oniijin@185.204.1.185) (Remote host closed the connection) |
| 2021-04-13 02:12:59 | <ski> | (btw, fwiw, it was discovered independently in the logic programming world, under the name "Last Call". e.g. CTM introduces it as a natural consequence of their modelling of the operational/procedural semantics) |
| 2021-04-13 02:15:36 | → | grimpeux joins (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 2021-04-13 02:16:31 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 2021-04-13 02:22:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-13 02:25:13 | × | grimpeux quits (~textual@modemcable153.12-178-173.mc.videotron.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-13 02:26:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-13 02:28:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-13 02:31:16 | <cohn> | 1 |
| 2021-04-13 02:33:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-13 02:33:36 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-13 02:34:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-04-13 02:34:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-13 02:38:07 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-13 02:38:24 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-13 02:43:40 | → | conjunctive joins (sid433686@gateway/web/irccloud.com/x-ywvgcymrsekezwdb) |
| 2021-04-13 02:43:47 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-13 02:45:09 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 02:48:04 | × | theDon quits (~td@muedsl-82-207-238-004.citykom.de) (Ping timeout: 268 seconds) |
| 2021-04-13 02:49:28 | → | theDon joins (~td@muedsl-82-207-238-185.citykom.de) |
| 2021-04-13 02:50:05 | × | haya quits (~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-04-13 02:50:25 | → | haya joins (~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com) |
| 2021-04-13 02:51:56 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-13 02:51:56 | finn_elija | is now known as Guest41868 |
| 2021-04-13 02:51:56 | FinnElija | is now known as finn_elija |
| 2021-04-13 02:53:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-13 02:53:15 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-13 02:55:09 | × | Guest41868 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-13 02:56:05 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-04-13 02:57:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-13 02:58:02 | × | xlei quits (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
| 2021-04-13 02:58:30 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-wqwlliyoydaqzoui) (Quit: Connection closed for inactivity) |
| 2021-04-13 02:58:40 | × | myShoggoth quits (~myShoggot@97-120-72-12.ptld.qwest.net) (Remote host closed the connection) |
| 2021-04-13 02:59:04 | → | myShoggoth joins (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 2021-04-13 03:02:07 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 2021-04-13 03:03:15 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-04-13 03:06:44 | → | santiacq joins (~santiacq@r186-50-76-54.dialup.adsl.anteldata.net.uy) |
| 2021-04-13 03:08:47 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-13 03:11:27 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-13 03:11:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-13 03:11:52 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-13 03:14:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-13 03:17:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-13 03:20:11 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-13 03:21:42 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-13 03:29:05 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-13 03:32:19 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-04-13 03:32:31 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-13 03:32:31 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-13 03:32:31 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-13 03:36:11 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-04-13 03:39:26 | × | aerona quits (~aerona@2600:6c54:4600:f300:469c:10f6:fe62:fc1c) (Remote host closed the connection) |
| 2021-04-13 03:40:57 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-laygyesnubfpnshz) (Quit: Connection closed for inactivity) |
| 2021-04-13 03:45:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-13 03:46:58 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-13 03:48:46 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-13 03:51:27 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:9f16) |
| 2021-04-13 03:52:31 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-04-13 03:52:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3061:d9b2:32c9:4068) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-13 03:52:47 | × | Codaraxis_ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer) |
| 2021-04-13 03:53:48 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-04-13 03:55:35 | → | xlei joins (znc@unaffiliated/xlei) |
| 2021-04-13 03:57:44 | → | malumore joins (~malumore@151.62.122.89) |
| 2021-04-13 04:00:10 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-13 04:00:15 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-04-13 04:00:18 | → | Alleria joins (~textual@2603-7000-3040-0000-61e5-3b09-ada8-75b7.res6.spectrum.com) |
| 2021-04-13 04:00:42 | Alleria | is now known as Guest92803 |
| 2021-04-13 04:00:48 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-04-13 04:04:47 | × | Guest92803 quits (~textual@2603-7000-3040-0000-61e5-3b09-ada8-75b7.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-13 04:07:37 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-13 04:07:59 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-13 04:09:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:48e1:cb11:43e0:9fe6) |
| 2021-04-13 04:11:34 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:21ac:92a1:db64:4dd2) (Remote host closed the connection) |
| 2021-04-13 04:11:59 | → | malumore_ joins (~malumore@151.62.122.89) |
| 2021-04-13 04:12:02 | × | malumore_ quits (~malumore@151.62.122.89) (Read error: Connection reset by peer) |
| 2021-04-13 04:12:54 | → | malumore_ joins (~malumore@151.62.122.89) |
| 2021-04-13 04:14:13 | × | malumore quits (~malumore@151.62.122.89) (Ping timeout: 240 seconds) |
| 2021-04-13 04:16:18 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-nilpnpzcfkqakcso) (Quit: Connection closed for inactivity) |
| 2021-04-13 04:19:59 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-13 04:20:18 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-13 04:30:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-13 04:38:08 | → | N3RGY joins (~N3RGY@static-198-54-128-101.cust.tzulo.com) |
| 2021-04-13 04:45:52 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds) |
| 2021-04-13 04:46:11 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 2021-04-13 04:52:47 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-13 05:09:40 | → | aVikingTrex joins (789a2138@120.154.33.56) |
| 2021-04-13 05:15:02 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-13 05:16:10 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-13 05:16:17 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-04-13 05:16:40 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-13 05:21:45 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-13 05:22:22 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-13 05:26:11 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-xevksgpnhxylybkh) (Quit: Connection closed for inactivity) |
| 2021-04-13 05:27:58 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 05:31:07 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-13 05:31:34 | × | N3RGY quits (~N3RGY@static-198-54-128-101.cust.tzulo.com) () |
| 2021-04-13 05:33:08 | × | pengjiz quits (~user@2601:547:902:6d00::2) (Quit: ERC (IRC client for Emacs 27.2)) |
All times are in UTC.