Logs: freenode/#haskell
| 2020-10-13 17:02:03 | → | nineonine joins (~nineonine@216.81.48.202) |
| 2020-10-13 17:02:54 | → | Bakun joins (~bakun@51.15.0.88) |
| 2020-10-13 17:05:52 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds) |
| 2020-10-13 17:05:54 | × | guest35 quits (d537f42e@213.55.244.46) (Remote host closed the connection) |
| 2020-10-13 17:08:56 | <monochrom> | That sounds like you mistook partial function for partial application. |
| 2020-10-13 17:09:29 | <Cheery> | you're right. |
| 2020-10-13 17:12:08 | <Cheery> | But then got opinion on that as well. I think I like the approach where you tag the partial functions. |
| 2020-10-13 17:12:31 | → | mdunnio joins (~mdunnio@208.59.170.5) |
| 2020-10-13 17:14:33 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-13 17:14:46 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-13 17:14:46 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-13 17:14:46 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-13 17:15:05 | × | mdunnio_ quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds) |
| 2020-10-13 17:15:38 | → | Gerula joins (~Gerula@unaffiliated/gerula) |
| 2020-10-13 17:16:04 | <Cheery> | I might also do that for recursive functions. |
| 2020-10-13 17:16:32 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-13 17:16:52 | → | xff0x joins (~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372) |
| 2020-10-13 17:18:11 | → | GyroW_ joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-13 17:18:11 | × | GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-13 17:18:11 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-13 17:19:25 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-13 17:20:38 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 265 seconds) |
| 2020-10-13 17:21:31 | → | mdunnio_ joins (~mdunnio@208.59.170.5) |
| 2020-10-13 17:22:24 | <Cheery> | fix :: Fix a => (a → a) → a |
| 2020-10-13 17:22:32 | × | xff0x quits (~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372) (Ping timeout: 260 seconds) |
| 2020-10-13 17:22:48 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-13 17:23:49 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) |
| 2020-10-13 17:24:24 | → | xff0x joins (~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372) |
| 2020-10-13 17:24:45 | × | mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds) |
| 2020-10-13 17:24:47 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-13 17:25:51 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-10-13 17:26:07 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-13 17:26:20 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-13 17:27:21 | → | dopplergange joins (~dop@titan.pathogen.is) |
| 2020-10-13 17:27:53 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-13 17:28:22 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds) |
| 2020-10-13 17:29:07 | → | thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) |
| 2020-10-13 17:29:17 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5) (Quit: oisdk) |
| 2020-10-13 17:32:21 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1dbd) |
| 2020-10-13 17:32:35 | → | amx joins (amx@percival.namespace.at) |
| 2020-10-13 17:34:16 | → | sand_dull joins (~theuser@104.140.53.43) |
| 2020-10-13 17:34:52 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2020-10-13 17:35:27 | hackage | matterhorn 50200.10.3 - Terminal client for the Mattermost chat system https://hackage.haskell.org/package/matterhorn-50200.10.3 (JonathanDaugherty) |
| 2020-10-13 17:35:47 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-13 17:38:07 | × | pera quits (~pera@unaffiliated/pera) (Quit: leaving) |
| 2020-10-13 17:38:48 | → | isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2020-10-13 17:44:00 | → | winircuser-559 joins (~winircuse@208.65.191.38) |
| 2020-10-13 17:44:30 | → | leungbk joins (~user@2605:e000:1315:706:cc8c:f2b3:1a5a:360) |
| 2020-10-13 17:46:10 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-zkqelsktmjuyhxgl) (Quit: Connection closed for inactivity) |
| 2020-10-13 17:48:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-13 17:48:32 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-13 17:49:58 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds) |
| 2020-10-13 17:52:52 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1dbd) (Ping timeout: 260 seconds) |
| 2020-10-13 17:53:05 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2020-10-13 17:53:44 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds) |
| 2020-10-13 17:56:20 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 2020-10-13 17:58:52 | → | elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-13 17:59:14 | → | ashbreeze joins (~mark@72-161-254-60.dyn.centurytel.net) |
| 2020-10-13 18:00:01 | × | supaplex1 quits (~supaplex1@185.163.110.116) () |
| 2020-10-13 18:00:04 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-13 18:00:07 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-10-13 18:00:15 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-13 18:00:25 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 240 seconds) |
| 2020-10-13 18:00:25 | × | knupfer quits (~Thunderbi@200116b82c814300f1e41d34f9bff3a4.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-13 18:00:34 | → | knupfer joins (~Thunderbi@200116b82c81430000cc9ce4231ed805.dip.versatel-1u1.de) |
| 2020-10-13 18:00:52 | × | avdb quits (~avdb@ip-62-235-189-198.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-10-13 18:01:31 | → | Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se) |
| 2020-10-13 18:01:42 | × | _ashbreeze_ quits (~mark@72-161-254-60.dyn.centurytel.net) (Ping timeout: 256 seconds) |
| 2020-10-13 18:02:09 | × | lowryder quits (~djlowry@web603.webfaction.com) (Remote host closed the connection) |
| 2020-10-13 18:02:27 | hackage | rescue 0.3.0 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.3.0 (expede) |
| 2020-10-13 18:03:49 | × | geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-10-13 18:04:24 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 2020-10-13 18:05:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-13 18:08:37 | × | chaosmasttter quits (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-13 18:08:40 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2020-10-13 18:08:52 | → | mdickens joins (~mdickens@2600:1700:100:6510:a0bd:f978:b47f:a64d) |
| 2020-10-13 18:09:23 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-13 18:10:23 | × | elliott_ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-10-13 18:11:47 | × | alp quits (~alp@2a01:e0a:58b:4920:c582:5c02:4169:5973) (Remote host closed the connection) |
| 2020-10-13 18:12:25 | → | alp joins (~alp@2a01:e0a:58b:4920:5926:20e4:5d7e:7879) |
| 2020-10-13 18:13:27 | × | alp quits (~alp@2a01:e0a:58b:4920:5926:20e4:5d7e:7879) (Remote host closed the connection) |
| 2020-10-13 18:14:03 | → | alp joins (~alp@2a01:e0a:58b:4920:ed0b:3d12:34d1:634d) |
| 2020-10-13 18:15:08 | × | alp quits (~alp@2a01:e0a:58b:4920:ed0b:3d12:34d1:634d) (Remote host closed the connection) |
| 2020-10-13 18:15:28 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-13 18:15:45 | → | alp joins (~alp@2a01:e0a:58b:4920:8d39:25bb:b9fc:ab4b) |
| 2020-10-13 18:16:32 | × | sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 272 seconds) |
| 2020-10-13 18:16:48 | × | alp quits (~alp@2a01:e0a:58b:4920:8d39:25bb:b9fc:ab4b) (Remote host closed the connection) |
| 2020-10-13 18:17:26 | → | alp joins (~alp@2a01:e0a:58b:4920:b0eb:85d7:8e70:cf02) |
| 2020-10-13 18:17:35 | → | pera joins (~pera@unaffiliated/pera) |
| 2020-10-13 18:17:36 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-10-13 18:18:07 | → | Mouse34 joins (8137c814@LLPROXY.LL.MIT.EDU) |
| 2020-10-13 18:18:29 | × | alp quits (~alp@2a01:e0a:58b:4920:b0eb:85d7:8e70:cf02) (Remote host closed the connection) |
| 2020-10-13 18:19:04 | → | alp joins (~alp@2a01:e0a:58b:4920:8c3b:f2ef:189e:7b1f) |
| 2020-10-13 18:19:51 | → | _ashbreeze_ joins (~mark@72-161-254-60.dyn.centurytel.net) |
| 2020-10-13 18:20:10 | → | Ahmuck joins (~Ahmuck@178.162.204.214) |
| 2020-10-13 18:20:43 | × | alp quits (~alp@2a01:e0a:58b:4920:8c3b:f2ef:189e:7b1f) (Remote host closed the connection) |
| 2020-10-13 18:21:07 | × | ashbreeze quits (~mark@72-161-254-60.dyn.centurytel.net) (Ping timeout: 256 seconds) |
| 2020-10-13 18:22:20 | → | alp joins (~alp@2a01:e0a:58b:4920:6ddd:c2d0:4761:63bc) |
| 2020-10-13 18:23:00 | → | romildo joins (~Romildo@ip-187-73-5-249.isp.valenet.com.br) |
| 2020-10-13 18:23:59 | → | elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
All times are in UTC.