Logs: freenode/#haskell
| 2020-11-08 15:33:49 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-08 15:33:53 | <__monty__> | avdb: I'm at 21:00 and he still hasn't said anything about commuting? |
| 2020-11-08 15:35:11 | <__monty__> | avdb: At 24:20 he even explicitly says commutation isn't a necessary condition. |
| 2020-11-08 15:35:21 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 15:39:50 | × | frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2020-11-08 15:40:14 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2020-11-08 15:40:20 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 15:40:24 | → | geekosaur joins (ac3a8b88@172.58.139.136) |
| 2020-11-08 15:41:25 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 2020-11-08 15:43:03 | <avdb> | __monty__: I made up commuting as an example, ge only said that if you combine f with g like f(g(x)) and g(f(x)) that it's the same thing |
| 2020-11-08 15:43:14 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 2020-11-08 15:43:30 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-08 15:50:37 | × | fendor quits (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 256 seconds) |
| 2020-11-08 15:52:03 | → | dabura joins (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) |
| 2020-11-08 15:52:26 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 258 seconds) |
| 2020-11-08 15:53:05 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-11-08 15:55:20 | → | CareBearemcho joins (~CareBeare@185.204.1.185) |
| 2020-11-08 15:55:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 15:55:37 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-08 15:56:25 | × | dabura quits (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 2020-11-08 15:56:58 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 15:57:27 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 15:57:46 | <merijn> | tochicool: If you have a more concrete example it might be possible, but it depends on what *exactly* you're trying to do |
| 2020-11-08 15:58:39 | → | dabura joins (~pablo@45.86.201.19) |
| 2020-11-08 15:59:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 16:00:04 | × | alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-euntbxjpvrijrxmx) (Quit: Idle for 30+ days) |
| 2020-11-08 16:00:08 | → | Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2020-11-08 16:01:06 | × | alp quits (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) (Ping timeout: 268 seconds) |
| 2020-11-08 16:02:06 | → | EoF joins (~EoF@ip5b419221.dynamic.kabel-deutschland.de) |
| 2020-11-08 16:02:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 16:02:54 | × | EoF quits (~EoF@ip5b419221.dynamic.kabel-deutschland.de) (Client Quit) |
| 2020-11-08 16:03:40 | × | Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2020-11-08 16:06:39 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-08 16:07:28 | × | Wamanuz2 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2020-11-08 16:07:37 | → | Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2020-11-08 16:08:14 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2020-11-08 16:09:40 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) |
| 2020-11-08 16:11:06 | <__monty__> | avdb: Hmm, I think you should rewatch. He said they're different afaict. |
| 2020-11-08 16:12:40 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds) |
| 2020-11-08 16:15:20 | → | knupfer joins (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) |
| 2020-11-08 16:15:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 16:16:46 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2020-11-08 16:16:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 16:17:06 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-08 16:18:39 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 16:21:49 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-08 16:21:56 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 16:23:05 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 240 seconds) |
| 2020-11-08 16:23:21 | → | ggole joins (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) |
| 2020-11-08 16:24:31 | hackage | type-of-html 1.6.1.2 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.2 (knupfer) |
| 2020-11-08 16:25:13 | × | dabura quits (~pablo@45.86.201.19) (Quit: Lost terminal) |
| 2020-11-08 16:30:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 16:37:54 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 16:38:16 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 16:39:14 | × | geekosaur quits (ac3a8b88@172.58.139.136) (Remote host closed the connection) |
| 2020-11-08 16:39:35 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 16:44:11 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 16:47:38 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2020-11-08 16:49:47 | × | Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
| 2020-11-08 16:49:47 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-08 16:50:34 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 16:51:04 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-11-08 16:51:12 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 16:51:29 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-11-08 16:51:58 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 16:52:19 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-08 16:55:04 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds) |
| 2020-11-08 16:55:30 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-08 16:57:51 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-08 16:59:02 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-11-08 16:59:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-11-08 17:01:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 17:02:01 | <nut> | is there a tool to find functions with the largest number of lines of code within package? |
| 2020-11-08 17:02:19 | → | Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578) |
| 2020-11-08 17:03:09 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-08 17:04:07 | → | fendor joins (~fendor@77.119.131.87.wireless.dyn.drei.com) |
| 2020-11-08 17:05:49 | × | Achylles__ quits (~Achylles@200-100-230-202.dial-up.telesp.net.br) (Quit: Leaving) |
| 2020-11-08 17:07:07 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2020-11-08 17:07:20 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2020-11-08 17:10:45 | <merijn> | Doubt it |
| 2020-11-08 17:10:59 | × | dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Read error: Connection reset by peer) |
| 2020-11-08 17:11:00 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer) |
| 2020-11-08 17:11:02 | <merijn> | Also, how is the lines of code of a function defined? Like, do where blocks count? |
| 2020-11-08 17:11:14 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-11-08 17:11:15 | → | dcoutts joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-08 17:11:15 | × | dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Changing host) |
| 2020-11-08 17:11:15 | → | dcoutts joins (~duncan@unaffiliated/dcoutts) |
| 2020-11-08 17:11:35 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-nprfqeunfdioejyi) |
| 2020-11-08 17:11:55 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-08 17:14:25 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Read error: Connection reset by peer) |
| 2020-11-08 17:14:37 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 2020-11-08 17:14:38 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2020-11-08 17:16:38 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2020-11-08 17:16:55 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-11-08 17:20:14 | <Franciman> | hi maerwald are you here? |
| 2020-11-08 17:20:21 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-11-08 17:20:30 | hackage | aeson-iproute 0.2.1 - Aeson instances for iproute types https://hackage.haskell.org/package/aeson-iproute-0.2.1 (sickmind) |
| 2020-11-08 17:22:01 | hackage | persistent-iproute 0.2.5 - Persistent instances for types in iproute https://hackage.haskell.org/package/persistent-iproute-0.2.5 (sickmind) |
| 2020-11-08 17:22:03 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2020-11-08 17:22:37 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
All times are in UTC.