| 2021-05-01 00:08:25 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-01 00:09:31 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 2021-05-01 00:10:49 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-01 00:12:52 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-01 00:13:12 +0200 | <cdsmith> | dibblego: I'm not sure? Here's what I'm seeing: https://gist.github.com/cdsmith/ca20492c3b290df99bc7828b701c599a Note line 18. |
| 2021-05-01 00:14:48 +0200 | <cdsmith> | I doubt it's the terminal ellipsizing, because the ellipses happen inside Haskell syntax elements. |
| 2021-05-01 00:15:25 +0200 | <cdsmith> | Maybe it's haskell-language-server doing it. I'll try it from a console. |
| 2021-05-01 00:17:11 +0200 | <dibblego> | hmm I've never seen that, can you send some code? |
| 2021-05-01 00:18:11 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-01 00:18:36 +0200 | <cdsmith> | Oh yeah, it works fine from the console. Must be haskell-language-server doing it. |
| 2021-05-01 00:18:48 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-01 00:19:25 +0200 | <cdsmith> | I was doing the right-click Copy Message deal from VSCode, and trusting that I got the real GHC output. My mistake, I guess? |
| 2021-05-01 00:19:48 +0200 | <dibblego> | ah ok |
| 2021-05-01 00:20:07 +0200 | Alleria | (~textual@2603-7000-3040-0000-f13f-9b4c-5fb5-809d.res6.spectrum.com) |
| 2021-05-01 00:20:30 +0200 | Alleria | Guest41112 |
| 2021-05-01 00:20:43 +0200 | zva | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-05-01 00:22:12 +0200 | isd | (zenhackmat@gateway/shell/matrix.org/x-ldodnpkwkyhiluzj) ("User left") |
| 2021-05-01 00:25:06 +0200 | fendor | (~fendor@77.119.128.145.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-01 00:29:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 00:32:38 +0200 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 2021-05-01 00:32:45 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-01 00:33:13 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-01 00:33:35 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 00:33:48 +0200 | michalz | (~user@185.246.204.125) (Remote host closed the connection) |
| 2021-05-01 00:36:01 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-01 00:36:18 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 2021-05-01 00:37:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 00:40:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 00:42:04 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 00:44:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-01 00:49:05 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-05-01 00:49:55 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 00:50:50 +0200 | ddellacosta | (~ddellacos@86.106.143.138) |
| 2021-05-01 00:51:08 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 00:54:21 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 00:54:21 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 00:54:29 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 00:54:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-01 00:55:12 +0200 | ddellacosta | (~ddellacos@86.106.143.138) (Ping timeout: 240 seconds) |
| 2021-05-01 01:01:37 +0200 | Qwerky | (~qwerky@37.173.116.194) |
| 2021-05-01 01:03:27 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 01:04:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 01:06:22 +0200 | Constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2021-05-01 01:07:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 01:09:51 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 01:12:48 +0200 | vgtw_ | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-01 01:13:09 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-05-01 01:13:11 +0200 | vgtw_ | vgtw |
| 2021-05-01 01:15:42 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-05-01 01:18:18 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 01:24:18 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-05-01 01:29:34 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 01:29:49 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-01 01:40:41 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 01:41:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-01 01:42:31 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 01:43:05 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 01:43:14 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 01:46:21 +0200 | Guest_4 | (98213d2f@eu61-47.elon.edu) |
| 2021-05-01 01:46:30 +0200 | Guest_4 | (98213d2f@eu61-47.elon.edu) (Client Quit) |
| 2021-05-01 01:48:12 +0200 | jalumar | (uid392211@gateway/web/irccloud.com/x-ofkpfpmpkgpnecis) (Quit: Connection closed for inactivity) |
| 2021-05-01 01:51:40 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 01:52:33 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 01:56:32 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-01 01:58:17 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-ejaxmxdimyqjymfh) (Quit: Connection closed for inactivity) |
| 2021-05-01 01:59:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-01 02:00:02 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops) |
| 2021-05-01 02:01:38 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 2021-05-01 02:02:26 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) |
| 2021-05-01 02:02:42 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) (Client Quit) |
| 2021-05-01 02:03:04 +0200 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-01 02:03:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-01 02:05:21 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 02:06:21 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 02:07:08 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-01 02:07:25 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-01 02:07:59 +0200 | ADG1089 | (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-01 02:10:33 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-01 02:12:26 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-01 02:12:33 +0200 | Qwerky | (~qwerky@37.173.116.194) (Remote host closed the connection) |
| 2021-05-01 02:12:52 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-05-01 02:13:39 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-01 02:13:57 +0200 | Tario | (~Tario@200.119.184.22) |
| 2021-05-01 02:18:02 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 2021-05-01 02:18:40 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 02:21:16 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-01 02:22:16 +0200 | vent | (~vent@185.62.190.213) |
| 2021-05-01 02:23:28 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 02:23:32 +0200 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Quit: letmein) |
| 2021-05-01 02:27:13 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-01 02:30:40 +0200 | bennofs__ | (~quassel@x4dbf4a04.dyn.telefonica.de) |
| 2021-05-01 02:34:11 +0200 | bennofs_ | (~quassel@x4dbf8c0e.dyn.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-05-01 02:39:07 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-01 02:39:33 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 260 seconds) |
| 2021-05-01 02:41:37 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-01 02:44:37 +0200 | MarcelineVQ | (~anja@198.254.208.159) (Ping timeout: 252 seconds) |
| 2021-05-01 02:46:28 +0200 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-05-01 02:48:53 +0200 | tomkap1 | (~tomkap@217.146.82.202) (Remote host closed the connection) |
| 2021-05-01 02:49:13 +0200 | Tario | (~Tario@200.119.184.22) (Ping timeout: 252 seconds) |
| 2021-05-01 02:49:23 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 2021-05-01 02:54:51 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 02:55:58 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 02:55:59 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 02:56:07 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-lthemimjkmqujsuh) (Quit: Connection closed for inactivity) |
| 2021-05-01 02:56:10 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-01 02:56:18 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 2021-05-01 02:57:14 +0200 | <shapr> | wow, the first IOHCC submission arrived and it's a doozy |
| 2021-05-01 02:58:55 +0200 | <c_wraith> | does it use anything unsafe? |
| 2021-05-01 02:59:35 +0200 | <shapr> | Nope, but the character frequencies is just insane |
| 2021-05-01 03:00:27 +0200 | <shapr> | c_wraith: ok, there is some minor unsafe calls |
| 2021-05-01 03:00:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-05-01 03:01:18 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-05-01 03:01:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 03:03:46 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-01 03:04:04 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds) |
| 2021-05-01 03:04:10 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:04:53 +0200 | leafstorm | (~leafstorm@185.204.1.185) |
| 2021-05-01 03:05:05 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2021-05-01 03:06:14 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-01 03:08:18 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-01 03:10:32 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-01 03:11:15 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:8c40:3267:9995:ede7:c222) (Ping timeout: 260 seconds) |
| 2021-05-01 03:12:11 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-01 03:12:33 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-01 03:13:33 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 03:13:40 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-01 03:13:41 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:18:11 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 03:18:17 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:19:22 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-01 03:19:40 +0200 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-05-01 03:19:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-01 03:21:44 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-01 03:24:28 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 03:32:25 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 03:34:35 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-01 03:37:33 +0200 | Facu | (bf534f6b@191.83.79.107) |
| 2021-05-01 03:37:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 03:38:46 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-01 03:40:10 +0200 | xff0x | (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) (Ping timeout: 276 seconds) |
| 2021-05-01 03:41:17 +0200 | xff0x | (~xff0x@2001:1a81:52b7:b500:7355:ada0:cdf5:eb04) |
| 2021-05-01 03:42:51 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-01 03:44:43 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 03:46:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 03:47:44 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 03:47:44 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:48:51 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-01 03:49:44 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-05-01 03:50:12 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-01 03:50:44 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 03:52:56 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 03:53:15 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 03:56:29 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-01 03:56:30 +0200 | ddellacosta | (~ddellacos@86.106.143.203) |
| 2021-05-01 03:59:07 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 03:59:31 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 04:00:39 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 04:00:56 +0200 | ddellacosta | (~ddellacos@86.106.143.203) (Ping timeout: 260 seconds) |
| 2021-05-01 04:04:03 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 04:04:21 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-05-01 04:07:34 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919) (Quit: Leaving) |
| 2021-05-01 04:08:12 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-05-01 04:11:10 +0200 | ADG1089 | (~aditya@223.226.237.158) (Quit: Konversation terminated!) |
| 2021-05-01 04:11:11 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-01 04:11:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-01 04:15:38 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2021-05-01 04:17:32 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 04:18:29 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 04:18:39 +0200 | enthropy | (~aavogt@135-23-166-92.cpe.pppoe.ca) (Quit: Leaving) |
| 2021-05-01 04:19:18 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ukveqpcklunebhzh) |
| 2021-05-01 04:22:18 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-01 04:23:00 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 04:23:09 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8) |
| 2021-05-01 04:24:17 +0200 | <ADG1089> | how can i remove not required cabal packages? |
| 2021-05-01 04:24:24 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-01 04:24:34 +0200 | <ADG1089> | shall i just delete ~/.cabal and install any breaking packages again? |
| 2021-05-01 04:24:35 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-05-01 04:25:40 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-01 04:28:12 +0200 | theDon | (~td@muedsl-82-207-238-113.citykom.de) (Ping timeout: 240 seconds) |
| 2021-05-01 04:28:36 +0200 | ADG1089 | (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-01 04:28:47 +0200 | <monochrom> | It suffices to delete .cabal/store/ghc-<version> |
| 2021-05-01 04:29:14 +0200 | <monochrom> | There are higher-precision deletes if you know what you're doing. |
| 2021-05-01 04:30:22 +0200 | theDon | (~td@muedsl-82-207-238-128.citykom.de) |
| 2021-05-01 04:31:30 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-01 04:31:42 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 04:35:22 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-05-01 04:35:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 04:36:04 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-01 04:36:13 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-01 04:36:13 +0200 | finn_elija | Guest27671 |
| 2021-05-01 04:36:13 +0200 | FinnElija | finn_elija |
| 2021-05-01 04:39:33 +0200 | Guest27671 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-01 04:39:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 04:45:45 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 250 seconds) |
| 2021-05-01 04:53:46 +0200 | vchlup__ | (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 2021-05-01 04:55:40 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 04:59:10 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 04:59:29 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 05:00:18 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 05:04:16 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 05:04:19 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 05:06:59 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-01 05:07:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 05:07:51 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-01 05:10:09 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 05:11:40 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 05:11:51 +0200 | <justsomeguy> | I've noticed that most introductary books on haskell tend to teach you abstractions before getting you to a working example of some useful program, first. Are there any books that take the opposite approach: Teaching how to make a useful app as directly as possible, introducing as few abstrations as possible? |
| 2021-05-01 05:12:13 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 05:12:40 +0200 | <justsomeguy> | I'm a little bit interested in the teaching process. |
| 2021-05-01 05:13:11 +0200 | ajc | (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 2021-05-01 05:14:16 +0200 | <justsomeguy> | s/introducing as few abstractions as possible/introducing abstrations only as necessary/ |
| 2021-05-01 05:14:49 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-01 05:15:21 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 05:15:28 +0200 | Facu | (bf534f6b@191.83.79.107) (Quit: Connection closed) |
| 2021-05-01 05:15:40 +0200 | <sm[m]> | @where HTAC ? |
| 2021-05-01 05:15:40 +0200 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2021-05-01 05:16:04 +0200 | <sm[m]> | http://www.cs.yale.edu/homes/hudak/SOE/ ? |
| 2021-05-01 05:16:18 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) |
| 2021-05-01 05:17:37 +0200 | <justsomeguy> | Nice! I'll have to give these a good perusal. |
| 2021-05-01 05:19:25 +0200 | justsomeguy | fumbles with his keyboard as he slowly relizes that capslock isn't bound to tab anymore, and his intermittent attempts at completing English words wouldn't work with tab completion, anyways. |
| 2021-05-01 05:20:48 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-01 05:21:37 +0200 | <sm[m]> | http://dev.stephendiehl.com/fun/ |
| 2021-05-01 05:32:37 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-bodjmmiexpfrqdom) (Quit: Connection closed for inactivity) |
| 2021-05-01 05:37:55 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-01 05:39:42 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-01 05:43:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 05:44:38 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-01 05:47:15 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 05:47:39 +0200 | dsal | (sid13060@gateway/web/irccloud.com/x-rekuaujdfzsbqruq) (Ping timeout: 246 seconds) |
| 2021-05-01 05:48:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 05:49:01 +0200 | dsal | (sid13060@gateway/web/irccloud.com/x-rbhhbvpkgeegolrt) |
| 2021-05-01 05:51:33 +0200 | pjb | Guest47260 |
| 2021-05-01 05:52:15 +0200 | Guest47260 | (~pjb@2a01cb04063ec5003930e59e19b6ded2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-05-01 05:52:56 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 05:53:41 +0200 | pjb | (~pjb@2a01cb04063ec500d847c6a20b966406.ipv6.abo.wanadoo.fr) |
| 2021-05-01 05:54:38 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-jnwqiticvjjkxczt) (Quit: Connection closed for inactivity) |
| 2021-05-01 05:57:52 +0200 | slack1256 | (~slack1256@191.113.245.191) (Ping timeout: 240 seconds) |
| 2021-05-01 05:57:58 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 05:59:00 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-vbtktmfgkmwpmzmf) (Quit: Connection closed for inactivity) |
| 2021-05-01 06:04:48 +0200 | ddellacosta | (~ddellacos@86.106.143.125) |
| 2021-05-01 06:06:45 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-01 06:08:20 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-01 06:08:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 06:08:46 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 06:09:25 +0200 | ddellacosta | (~ddellacos@86.106.143.125) (Ping timeout: 252 seconds) |
| 2021-05-01 06:11:09 +0200 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2021-05-01 06:12:18 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-01 06:17:39 +0200 | <dmj`> | justsomeguy: there's some self-study upfront legwork you gotta do with haskell before you can just "start writing apps" otherwise its just copy and paste and you don't really know whats going on |
| 2021-05-01 06:18:58 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-01 06:25:06 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 06:26:40 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 06:27:21 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 06:31:22 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Remote host closed the connection) |
| 2021-05-01 06:32:52 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-05-01 06:36:14 +0200 | dansho | (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 2021-05-01 06:37:59 +0200 | <suzu> | @where RWH ? |
| 2021-05-01 06:38:00 +0200 | <lambdabot> | http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/ |
| 2021-05-01 06:38:04 +0200 | <suzu> | this too justsomeguy |
| 2021-05-01 06:39:36 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2021-05-01 06:40:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 06:42:10 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 06:42:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-01 06:42:31 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 06:42:44 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-01 06:44:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 06:45:36 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-05-01 06:46:33 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 06:49:01 +0200 | Constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-01 06:49:28 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 06:49:29 +0200 | vchlup | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 06:51:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 07:00:34 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-01 07:01:13 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 07:01:32 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 07:03:47 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 2021-05-01 07:03:48 +0200 | MVQq | (~anja@198.254.208.159) |
| 2021-05-01 07:04:46 +0200 | tapas_ | (sid467876@gateway/web/irccloud.com/x-kfnzeibaxcgtifed) |
| 2021-05-01 07:04:49 +0200 | natim87_ | (sid286962@gateway/web/irccloud.com/x-twckrkpcygtbpwdz) |
| 2021-05-01 07:06:15 +0200 | dcoutts_ | (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-05-01 07:06:34 +0200 | kadoban | (~mud@unaffiliated/kadoban) |
| 2021-05-01 07:06:55 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) |
| 2021-05-01 07:07:40 +0200 | ridcully_ | (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-01 07:08:14 +0200 | bobbytab1es | (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 2021-05-01 07:08:26 +0200 | fryguybo1 | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-05-01 07:09:24 +0200 | coddinkn_ | (~coddinkn@octayn.net) |
| 2021-05-01 07:11:37 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds) |
| 2021-05-01 07:11:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 07:13:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 2021-05-01 07:13:10 +0200 | MarcelineVQ | (~anja@198.254.208.159) (*.net *.split) |
| 2021-05-01 07:13:10 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | leafstorm | (~leafstorm@185.204.1.185) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | mud | (~mud@unaffiliated/kadoban) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | jrqc | (~rofl@96.78.87.197) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | puke | (~vroom@217.138.252.196) (*.net *.split) |
| 2021-05-01 07:13:11 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (*.net *.split) |
| 2021-05-01 07:13:12 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (*.net *.split) |
| 2021-05-01 07:13:13 +0200 | blackdog | (~blackdog@198.211.112.85) (*.net *.split) |
| 2021-05-01 07:13:13 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-05-01 07:13:13 +0200 | oleks | (~oleks@188.166.34.97) (*.net *.split) |
| 2021-05-01 07:13:13 +0200 | tv | (~tv@unaffiliated/tv) (*.net *.split) |
| 2021-05-01 07:13:14 +0200 | electrostat | (~dag@unaffiliated/electrostat) (*.net *.split) |
| 2021-05-01 07:13:14 +0200 | natim87 | (sid286962@gateway/web/irccloud.com/x-prbhcwqvabbymouf) (*.net *.split) |
| 2021-05-01 07:13:14 +0200 | stux|RC | (stux2@grid9.quadspeedi.net) (*.net *.split) |
| 2021-05-01 07:13:14 +0200 | lurkless | (~ll@kiwi.pr0.tips) (*.net *.split) |
| 2021-05-01 07:13:15 +0200 | exarkun | (~exarkun@14.79.69.34.bc.googleusercontent.com) (*.net *.split) |
| 2021-05-01 07:13:15 +0200 | tapas | (sid467876@gateway/web/irccloud.com/x-bsjadohtpruxmywx) (*.net *.split) |
| 2021-05-01 07:13:15 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-05-01 07:13:15 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-05-01 07:13:15 +0200 | Geekingfrog | (~geekingfr@li2156-64.members.linode.com) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | hiredman | (~hiredman@138.68.1.198) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | NieDzejkob | (~quassel@195.149.98.3) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | lewky | (~lewky@159.65.37.240) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | DustyDingo | (~nonamen@v2202001112302107134.ultrasrv.de) (*.net *.split) |
| 2021-05-01 07:13:16 +0200 | infinisil | (~infinisil@NixOS/user/infinisil) (*.net *.split) |
| 2021-05-01 07:13:17 +0200 | quaestor | (~quaestor@griffith.christophrauch.de) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | beka | (~beka@gothdyke.mom) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | grrandi | (mlp@kapsi.fi) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | eldritch | (~eldritch@unaffiliated/eldritch) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | avp | (~avp@unaffiliated/avp) (*.net *.split) |
| 2021-05-01 07:13:18 +0200 | runawayfive | (~nope@unaffiliated/runawayfive) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | canta | (~canta@cvm0.d5k.one) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | yushyin | (QWFouZJprr@karif.server-speed.net) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | orzo | (joe@lasker.childrenofmay.org) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | quintasan | (~quassel@ubuntu/member/quintasan) (*.net *.split) |
| 2021-05-01 07:13:19 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2021-05-01 07:13:20 +0200 | coddinkn | (~coddinkn@octayn.net) (*.net *.split) |
| 2021-05-01 07:13:20 +0200 | Sparadox | (~etienne@ns3123347.ip-51-68-152.eu) (*.net *.split) |
| 2021-05-01 07:13:20 +0200 | sssb54 | (~ssssb56@vps-b2931db6.vps.ovh.ca) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | pharaun | (~pharaun@static.88-198-62-245.clients.your-server.de) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | bobbytables | (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | hrdl | (~ef24a0e6@unaffiliated/hrdl) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | [exa] | (exa@unaffiliated/exa/x-5381537) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | hwabyong | (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | zceejkr | (~wintermut@cpe-92-37-88-51.dynamic.amis.net) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | interruptinuse | (~interrupt@girl.mrtheplague.net) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | hackage | (mniip@haskell/bot/hackage) (*.net *.split) |
| 2021-05-01 07:13:21 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2021-05-01 07:13:22 +0200 | xe4 | (~xe4@unaffiliated/xe4) (*.net *.split) |
| 2021-05-01 07:13:22 +0200 | c-rog | (~c-rog@traffic.simst.im) (*.net *.split) |
| 2021-05-01 07:13:23 +0200 | natim87_ | natim87 |
| 2021-05-01 07:13:23 +0200 | tapas_ | tapas |
| 2021-05-01 07:13:24 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-01 07:13:27 +0200 | hackage | (mniip@haskell/bot/hackage) |
| 2021-05-01 07:14:24 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-01 07:16:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 07:17:57 +0200 | stux|RC | (stux2@grid9.quadspeedi.net) |
| 2021-05-01 07:18:03 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 07:18:27 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 07:22:52 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds) |
| 2021-05-01 07:23:51 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) |
| 2021-05-01 07:24:02 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2021-05-01 07:24:02 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-01 07:24:02 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2021-05-01 07:24:02 +0200 | jrqc | (~rofl@96.78.87.197) |
| 2021-05-01 07:24:02 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-05-01 07:24:02 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-05-01 07:24:02 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) |
| 2021-05-01 07:24:02 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) |
| 2021-05-01 07:24:02 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-05-01 07:24:02 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2021-05-01 07:24:02 +0200 | blackdog | (~blackdog@198.211.112.85) |
| 2021-05-01 07:24:02 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-05-01 07:24:02 +0200 | oleks | (~oleks@188.166.34.97) |
| 2021-05-01 07:24:02 +0200 | tv | (~tv@unaffiliated/tv) |
| 2021-05-01 07:24:02 +0200 | electrostat | (~dag@unaffiliated/electrostat) |
| 2021-05-01 07:24:02 +0200 | lurkless | (~ll@kiwi.pr0.tips) |
| 2021-05-01 07:24:02 +0200 | exarkun | (~exarkun@14.79.69.34.bc.googleusercontent.com) |
| 2021-05-01 07:24:02 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-05-01 07:24:02 +0200 | Geekingfrog | (~geekingfr@li2156-64.members.linode.com) |
| 2021-05-01 07:24:02 +0200 | hiredman | (~hiredman@138.68.1.198) |
| 2021-05-01 07:24:02 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-05-01 07:24:02 +0200 | NieDzejkob | (~quassel@195.149.98.3) |
| 2021-05-01 07:24:02 +0200 | lewky | (~lewky@159.65.37.240) |
| 2021-05-01 07:24:02 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) |
| 2021-05-01 07:24:02 +0200 | DustyDingo | (~nonamen@v2202001112302107134.ultrasrv.de) |
| 2021-05-01 07:24:02 +0200 | infinisil | (~infinisil@NixOS/user/infinisil) |
| 2021-05-01 07:24:02 +0200 | quaestor | (~quaestor@griffith.christophrauch.de) |
| 2021-05-01 07:24:02 +0200 | beka | (~beka@gothdyke.mom) |
| 2021-05-01 07:24:02 +0200 | grrandi | (mlp@kapsi.fi) |
| 2021-05-01 07:24:02 +0200 | eldritch | (~eldritch@unaffiliated/eldritch) |
| 2021-05-01 07:24:02 +0200 | avp | (~avp@unaffiliated/avp) |
| 2021-05-01 07:24:02 +0200 | runawayfive | (~nope@unaffiliated/runawayfive) |
| 2021-05-01 07:24:02 +0200 | Dykam | (Dykam@dykam.nl) |
| 2021-05-01 07:24:02 +0200 | canta | (~canta@cvm0.d5k.one) |
| 2021-05-01 07:24:02 +0200 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-05-01 07:24:02 +0200 | yushyin | (QWFouZJprr@karif.server-speed.net) |
| 2021-05-01 07:24:02 +0200 | orzo | (joe@lasker.childrenofmay.org) |
| 2021-05-01 07:24:02 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-05-01 07:24:02 +0200 | quintasan | (~quassel@ubuntu/member/quintasan) |
| 2021-05-01 07:24:02 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2021-05-01 07:24:02 +0200 | sssb54 | (~ssssb56@vps-b2931db6.vps.ovh.ca) |
| 2021-05-01 07:24:02 +0200 | Sparadox | (~etienne@ns3123347.ip-51-68-152.eu) |
| 2021-05-01 07:24:02 +0200 | hrdl | (~ef24a0e6@unaffiliated/hrdl) |
| 2021-05-01 07:24:02 +0200 | pharaun | (~pharaun@static.88-198-62-245.clients.your-server.de) |
| 2021-05-01 07:24:02 +0200 | [exa] | (exa@unaffiliated/exa/x-5381537) |
| 2021-05-01 07:24:02 +0200 | hwabyong | (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) |
| 2021-05-01 07:24:02 +0200 | zceejkr | (~wintermut@cpe-92-37-88-51.dynamic.amis.net) |
| 2021-05-01 07:24:02 +0200 | interruptinuse | (~interrupt@girl.mrtheplague.net) |
| 2021-05-01 07:24:02 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2021-05-01 07:24:02 +0200 | xe4 | (~xe4@unaffiliated/xe4) |
| 2021-05-01 07:24:03 +0200 | c-rog | (~c-rog@traffic.simst.im) |
| 2021-05-01 07:24:26 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) (Client Quit) |
| 2021-05-01 07:27:15 +0200 | st8less | (~st8less@2603:a060:11fd::bf1) |
| 2021-05-01 07:27:36 +0200 | lurkless | (~ll@kiwi.pr0.tips) (Max SendQ exceeded) |
| 2021-05-01 07:28:12 +0200 | lurkless | (~ll@unaffiliated/lurkless) |
| 2021-05-01 07:32:52 +0200 | st8less | (~st8less@2603:a060:11fd::bf1) (Ping timeout: 276 seconds) |
| 2021-05-01 07:35:49 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 07:36:15 +0200 | sssb54 | (~ssssb56@vps-b2931db6.vps.ovh.ca) (Remote host closed the connection) |
| 2021-05-01 07:36:29 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds) |
| 2021-05-01 07:40:40 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-01 07:41:06 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-01 07:42:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-01 07:44:53 +0200 | kik1 | (~kik1@185.169.233.12) |
| 2021-05-01 07:45:54 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) (Quit: Connection closed for inactivity) |
| 2021-05-01 07:48:47 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 246 seconds) |
| 2021-05-01 07:48:57 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 2021-05-01 07:49:12 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-05-01 07:50:37 +0200 | ddellacosta | (~ddellacos@86.106.143.21) |
| 2021-05-01 07:53:27 +0200 | alx741 | (~alx741@181.196.68.89) (Quit: alx741) |
| 2021-05-01 07:54:52 +0200 | ddellacosta | (~ddellacos@86.106.143.21) (Ping timeout: 240 seconds) |
| 2021-05-01 07:58:48 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-01 07:58:58 +0200 | sssb54 | (~ssssb56@155.138.143.61) |
| 2021-05-01 07:59:21 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-01 08:00:56 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-05-01 08:03:42 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 08:09:19 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 252 seconds) |
| 2021-05-01 08:09:41 +0200 | argento | (~argent0@168.227.97.29) (Quit: leaving) |
| 2021-05-01 08:09:49 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 08:10:16 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 08:20:41 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds) |
| 2021-05-01 08:22:13 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 08:24:13 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 08:27:30 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 08:28:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-01 08:28:42 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zoclupkfjvlkftdp) (Quit: Connection closed for inactivity) |
| 2021-05-01 08:29:14 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-05-01 08:29:51 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 08:30:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 08:31:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 08:32:19 +0200 | <tomsmeding> | shapr: is there a webpage for the IOHCC? |
| 2021-05-01 08:32:52 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-01 08:33:07 +0200 | <olligobber> | `error: Typed splices may not appear in untyped brackets' :( |
| 2021-05-01 08:36:46 +0200 | <c_wraith> | you can always untype a typed splice |
| 2021-05-01 08:37:30 +0200 | sdx23 | (~sdx23@unaffiliated/sdx23) |
| 2021-05-01 08:38:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 08:39:41 +0200 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 240 seconds) |
| 2021-05-01 08:40:06 +0200 | jalumar | (uid392211@gateway/web/irccloud.com/x-ulvzcprozvzoropl) |
| 2021-05-01 08:40:24 +0200 | <olligobber> | yeah, it makes the code longer though |
| 2021-05-01 08:42:32 +0200 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' oh no that's not good |
| 2021-05-01 08:43:57 +0200 | <olligobber> | merijn, any idea how I put a validated literal into an (untyped) splice? |
| 2021-05-01 08:45:22 +0200 | <olligobber> | I tried the obvious thing: `$(TH.unType <$> (valid "]" :: TH.Q (TH.TExp TypedRenderS)))' and got an error about not being able to lift ExpQ, which seems like a thing I wouldn't want to do anyway |
| 2021-05-01 08:45:37 +0200 | <olligobber> | actually, this sounds familiar... |
| 2021-05-01 08:46:20 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 08:46:43 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 08:48:26 +0200 | <olligobber> | hmm |
| 2021-05-01 08:49:55 +0200 | <olligobber> | didn't work |
| 2021-05-01 08:55:06 +0200 | <olligobber> | yeah, putting valid in a splice is not going well |
| 2021-05-01 08:55:15 +0200 | <tomsmeding> | :t Language.Haskell.TH.Syntax.unTypeQ -- olligobber |
| 2021-05-01 08:55:17 +0200 | <lambdabot> | Language.Haskell.TH.Syntax.Q (Language.Haskell.TH.Syntax.TExp a) -> Language.Haskell.TH.Syntax.Q Language.Haskell.TH.Syntax.Exp |
| 2021-05-01 08:55:29 +0200 | <tomsmeding> | mind you I know nothing of TH |
| 2021-05-01 08:56:10 +0200 | <olligobber> | yeah, I'm not really sure what's happening |
| 2021-05-01 08:56:19 +0200 | <tomsmeding> | (perhaps also see the definition of that function) |
| 2021-05-01 08:56:32 +0200 | <tomsmeding> | https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/src/Language-Haskell-TH-Syntax.… |
| 2021-05-01 08:56:42 +0200 | <olligobber> | I assume it's just fmap unType? |
| 2021-05-01 08:56:55 +0200 | <tomsmeding> | nope |
| 2021-05-01 08:56:59 +0200 | <olligobber> | huh |
| 2021-05-01 08:57:02 +0200 | <olligobber> | let's see if it helps |
| 2021-05-01 08:57:28 +0200 | <olligobber> | nah, same error |
| 2021-05-01 08:57:34 +0200 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' |
| 2021-05-01 08:57:41 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-05-01 08:58:20 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 09:00:27 +0200 | <olligobber> | hmm |
| 2021-05-01 09:00:40 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-01 09:01:04 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-01 09:01:06 +0200 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-01 09:01:34 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-01 09:02:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 09:03:47 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) |
| 2021-05-01 09:04:12 +0200 | <olligobber> | I'm not surprised I can't use valid in a splice, I'm surprised that once it's been applied to its input it still can't be used |
| 2021-05-01 09:04:41 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-qamskrartzxwuohd) (Quit: Connection closed for inactivity) |
| 2021-05-01 09:05:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-05-01 09:06:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 09:07:04 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-01 09:07:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 09:11:31 +0200 | mandober | (b2dcd45c@178.220.212.92) |
| 2021-05-01 09:12:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-01 09:13:15 +0200 | <olligobber> | I ditched valid to just use the way I defined it instead, but I got the same error |
| 2021-05-01 09:15:32 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-01 09:16:02 +0200 | <mandober> | @hoogle ContT |
| 2021-05-01 09:16:03 +0200 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 2021-05-01 09:16:03 +0200 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 2021-05-01 09:16:03 +0200 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 2021-05-01 09:16:10 +0200 | <olligobber> | I don't see why it's complaining about trying to lift an ExpQ, I'm not doing that? |
| 2021-05-01 09:16:32 +0200 | <olligobber> | omg I'm so dumb |
| 2021-05-01 09:16:38 +0200 | <olligobber> | it wasn't the valid bit that was erroring |
| 2021-05-01 09:16:49 +0200 | <olligobber> | it's because I forgot to put $ before the input variables |
| 2021-05-01 09:16:50 +0200 | <mandober> | @hoogle ContT |
| 2021-05-01 09:16:50 +0200 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 2021-05-01 09:16:51 +0200 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 2021-05-01 09:16:51 +0200 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 2021-05-01 09:17:11 +0200 | <tomsmeding> | olligobber: lol |
| 2021-05-01 09:18:06 +0200 | mandober | (b2dcd45c@178.220.212.92) (Quit: Connection closed) |
| 2021-05-01 09:18:11 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-01 09:18:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 2021-05-01 09:20:31 +0200 | <olligobber> | oh no, more errors |
| 2021-05-01 09:22:11 +0200 | <olligobber> | ah, I forgot to convert my tuple to an Ftuple |
| 2021-05-01 09:23:08 +0200 | <olligobber> | yay it compiled |
| 2021-05-01 09:24:10 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-01 09:25:16 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-01 09:25:43 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-01 09:38:25 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 2021-05-01 09:41:47 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-01 09:42:32 +0200 | ddellacosta | (~ddellacos@86.106.143.151) |
| 2021-05-01 09:45:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 09:46:44 +0200 | ddellacosta | (~ddellacos@86.106.143.151) (Ping timeout: 246 seconds) |
| 2021-05-01 09:49:49 +0200 | ram19890 | (~ram@49.205.84.15) |
| 2021-05-01 09:50:06 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-01 10:03:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-01 10:05:06 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 10:08:12 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-01 10:10:21 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-01 10:12:07 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 10:16:07 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 10:20:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-01 10:23:43 +0200 | ram19890_ | (~ram@49.205.84.15) |
| 2021-05-01 10:25:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-01 10:26:15 +0200 | hackage | sockets-and-pipes 0.2 - Support for the Sockets and Pipes book https://hackage.haskell.org/package/sockets-and-pipes-0.2 (chris_martin) |
| 2021-05-01 10:27:46 +0200 | ram19890 | (~ram@49.205.84.15) (Ping timeout: 265 seconds) |
| 2021-05-01 10:29:09 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 2021-05-01 10:33:55 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 10:34:28 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-01 10:40:00 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) |
| 2021-05-01 10:45:47 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-01 10:46:17 +0200 | alexander | Guest20148 |
| 2021-05-01 10:47:39 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-05-01 10:49:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-01 10:52:45 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 10:54:52 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-01 10:57:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 10:58:27 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 11:00:02 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-01 11:00:03 +0200 | mrus[m] | (mrusmatrix@gateway/shell/matrix.org/x-nwqeewfgxdoywgen) (Quit: Idle for 30+ days) |
| 2021-05-01 11:01:59 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-01 11:05:57 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-01 11:07:35 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 11:09:34 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
| 2021-05-01 11:10:25 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 11:10:34 +0200 | Qwerky | (~qwerky@37.172.55.41) |
| 2021-05-01 11:10:41 +0200 | poljar | (~poljar@93-143-176-203.adsl.net.t-com.hr) |
| 2021-05-01 11:11:58 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-01 11:12:12 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 2021-05-01 11:12:24 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-05-01 11:13:11 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 11:13:11 +0200 | poljar1 | (~poljar@93-139-112-157.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2021-05-01 11:14:49 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 11:15:49 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 11:18:25 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 11:19:18 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-01 11:20:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds) |
| 2021-05-01 11:22:13 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-05-01 11:22:35 +0200 | fendor | (~fendor@91.141.2.250.wireless.dyn.drei.com) |
| 2021-05-01 11:25:36 +0200 | Qwerky | (~qwerky@37.172.55.41) (Remote host closed the connection) |
| 2021-05-01 11:26:19 +0200 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-05-01 11:26:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 11:27:21 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 11:30:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-01 11:30:47 +0200 | johnnyv[m] | (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | juri_ | (~juri@178.63.35.222) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | Forlorn_ | (~Forlorn@unaffiliated/forlorn) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-yhokoaaxqmoudodu) (*.net *.split) |
| 2021-05-01 11:30:48 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-wdxobfzstmpkvclf) (*.net *.split) |
| 2021-05-01 11:30:49 +0200 | kaletaa | (~kaletaa@188.34.177.83) (*.net *.split) |
| 2021-05-01 11:30:49 +0200 | kloeri | (~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split) |
| 2021-05-01 11:30:49 +0200 | joeytwiddle | (~joeytwidd@162.243.115.31) (*.net *.split) |
| 2021-05-01 11:30:49 +0200 | lovesegfault | (~bemeurer@37.219.94.34.bc.googleusercontent.com) (*.net *.split) |
| 2021-05-01 11:30:49 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2021-05-01 11:31:16 +0200 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 260 seconds) |
| 2021-05-01 11:31:34 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-01 11:32:06 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-05-01 11:33:03 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.9) |
| 2021-05-01 11:35:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 11:35:31 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-lbsuvmnzhurzmlgb) |
| 2021-05-01 11:36:01 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-tmdqaspioghaundv) |
| 2021-05-01 11:36:26 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-05-01 11:37:04 +0200 | <merijn> | olligobber: "TExp a" is just a newtype wrapper with a phantom around Exp |
| 2021-05-01 11:37:07 +0200 | johnnyv[m] | (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) |
| 2021-05-01 11:37:07 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-05-01 11:37:07 +0200 | juri_ | (~juri@178.63.35.222) |
| 2021-05-01 11:37:07 +0200 | Forlorn_ | (~Forlorn@unaffiliated/forlorn) |
| 2021-05-01 11:37:07 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) |
| 2021-05-01 11:37:07 +0200 | lovesegfault | (~bemeurer@37.219.94.34.bc.googleusercontent.com) |
| 2021-05-01 11:37:07 +0200 | kloeri | (~kloeri@freenode/staff/exherbo.kloeri) |
| 2021-05-01 11:37:07 +0200 | kaletaa | (~kaletaa@188.34.177.83) |
| 2021-05-01 11:37:07 +0200 | joeytwiddle | (~joeytwidd@162.243.115.31) |
| 2021-05-01 11:37:07 +0200 | TMA | (tma@twin.jikos.cz) |
| 2021-05-01 11:37:11 +0200 | <merijn> | olligobber: https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/Language-Haskell-TH-Syntax.html… |
| 2021-05-01 11:37:24 +0200 | <olligobber> | merijn, I thought so, that's basically what my TypedLambda type is too |
| 2021-05-01 11:37:35 +0200 | <merijn> | olligobber: So you can just "unType" to coerce it into an untyped Exp |
| 2021-05-01 11:37:39 +0200 | <olligobber> | anyway, turns out the error was not in valid, it was elsewhere |
| 2021-05-01 11:37:45 +0200 | <olligobber> | and is now fixed |
| 2021-05-01 11:37:49 +0200 | <merijn> | \o/ |
| 2021-05-01 11:37:51 +0200 | <olligobber> | basically I forgot two $ |
| 2021-05-01 11:38:04 +0200 | __minoru__shirae | (~shiraeesh@109.166.57.34) |
| 2021-05-01 11:43:32 +0200 | poljar1 | (~poljar@78-1-50-121.adsl.net.t-com.hr) |
| 2021-05-01 11:44:01 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Max SendQ exceeded) |
| 2021-05-01 11:44:39 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2021-05-01 11:45:32 +0200 | poljar | (~poljar@93-143-176-203.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-05-01 11:46:58 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-01 11:48:47 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 11:51:21 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-01 11:53:37 +0200 | plutoniix | (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 2021-05-01 11:57:11 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 260 seconds) |
| 2021-05-01 11:59:18 +0200 | cinimod | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 2021-05-01 12:00:59 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 12:01:23 +0200 | todda7 | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-01 12:01:43 +0200 | <ADG1089> | i'm using brittany as a formatter; I want to wrap every argument on a new line if line length > say 80 or 120. Can I do in brittany or do I need another formatter? |
| 2021-05-01 12:02:46 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-05-01 12:04:27 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection) |
| 2021-05-01 12:04:51 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-05-01 12:06:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 12:10:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 12:12:10 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-01 12:13:48 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 12:16:06 +0200 | ram19890_ | (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 2021-05-01 12:17:34 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2021-05-01 12:21:22 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-05-01 12:22:19 +0200 | random | (~random@46.254.129.126) (Ping timeout: 252 seconds) |
| 2021-05-01 12:23:26 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92) |
| 2021-05-01 12:23:32 +0200 | todda7 | (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 240 seconds) |
| 2021-05-01 12:25:40 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-01 12:27:58 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92) (Ping timeout: 276 seconds) |
| 2021-05-01 12:28:28 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 12:29:46 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-01 12:32:56 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-01 12:33:10 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds) |
| 2021-05-01 12:33:54 +0200 | aidecoe | (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection) |
| 2021-05-01 12:35:22 +0200 | aidecoe | (~aidecoe@unaffiliated/aidecoe) |
| 2021-05-01 12:35:25 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 12:36:55 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-01 12:37:38 +0200 | constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2021-05-01 12:37:40 +0200 | <__monty__> | ADG1089: Afaict that's what brittany does by default? |
| 2021-05-01 12:37:47 +0200 | ddellacosta | (~ddellacos@86.106.143.73) |
| 2021-05-01 12:38:09 +0200 | <merijn> | I say: Cast of your chains, free yourself from laziness and machine tyranny! |
| 2021-05-01 12:38:21 +0200 | <merijn> | Say no to auto-formatting: https://twitter.com/comerijn/status/1257804634833420292 |
| 2021-05-01 12:42:06 +0200 | ddellacosta | (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds) |
| 2021-05-01 12:44:26 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-05-01 12:44:34 +0200 | <ADG1089> | automation is the future |
| 2021-05-01 12:44:53 +0200 | sm2n_ | sm2n |
| 2021-05-01 12:44:59 +0200 | <ADG1089> | __monty__: yeah I'll have to play with it's config. AFAIK dev didn't bother to document the config |
| 2021-05-01 12:45:19 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2021-05-01 12:45:52 +0200 | ADG1089 | (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-01 12:45:56 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 2021-05-01 12:46:47 +0200 | <merijn> | ADG1089: Yes, but also no. Auto-formatting code is abdicating your responsibility to make code readable for other people |
| 2021-05-01 12:46:54 +0200 | <maerwald> | no one's got time for manual formatting |
| 2021-05-01 12:47:03 +0200 | <merijn> | maerwald: I don't buy that |
| 2021-05-01 12:47:12 +0200 | <maerwald> | merijn: deadlines |
| 2021-05-01 12:47:43 +0200 | <merijn> | maerwald: That only makes sense if all time until the deadline is spent typing code |
| 2021-05-01 12:47:57 +0200 | <maerwald> | Yes |
| 2021-05-01 12:48:03 +0200 | <merijn> | Which is bs, I spend like a third of my time writing code at best |
| 2021-05-01 12:48:22 +0200 | <merijn> | Most time goes into thinking, reading, testing |
| 2021-05-01 12:48:32 +0200 | <maerwald> | So you know how much time other ppl spend on typing code at their workplace? :p |
| 2021-05-01 12:49:06 +0200 | <merijn> | If you're typing more than that, there are much bigger problems, like: Stop writing so much damn code >.< |
| 2021-05-01 12:49:16 +0200 | <maerwald> | The two things that wasted most of my time were: 1. hlint, 2. formatting discussions/fixes |
| 2021-05-01 12:49:16 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-01 12:49:39 +0200 | <maerwald> | merijn: yeah, that's why I ended up with RSI lol |
| 2021-05-01 12:50:19 +0200 | <maerwald> | manual code formatting is gonna make it worse |
| 2021-05-01 12:50:32 +0200 | <maerwald> | I say f*** that |
| 2021-05-01 12:50:39 +0200 | <merijn> | @quote hours.of.coding |
| 2021-05-01 12:50:39 +0200 | <lambdabot> | * says: | shapr remembers that hours of coding can save minutes of thinking |
| 2021-05-01 12:51:32 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-05-01 12:52:49 +0200 | <merijn> | maerwald: tbh, I don't spend that much time on formatting manually to begin with |
| 2021-05-01 12:53:30 +0200 | <maerwald> | there are just too many ways to format |
| 2021-05-01 12:53:59 +0200 | <maerwald> | and the difference in eye tracking whatever is gonna be so low that you can't even scientifically gain evidence about advantages for anything |
| 2021-05-01 12:54:12 +0200 | <merijn> | Anyway, I should go back to writing, rather than procrastinating on IRC :p |
| 2021-05-01 12:54:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: writing) |
| 2021-05-01 12:57:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-01 12:58:25 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 252 seconds) |
| 2021-05-01 12:59:06 +0200 | vv8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-01 13:00:54 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-01 13:01:11 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-acomrlmtwzzmslun) |
| 2021-05-01 13:01:46 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-05-01 13:05:05 +0200 | <__minoru__shirae> | maerwald: I thought people care more about their subjective preferences rather than about scientifically measurable differences |
| 2021-05-01 13:05:51 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-01 13:06:13 +0200 | <maerwald> | hmm, subjective preferences yes, but many I think it's also the consistency obsession... so if it's not your own preference, you want at least consistency |
| 2021-05-01 13:06:21 +0200 | <maerwald> | I also don't believe in consistency wrt style |
| 2021-05-01 13:07:55 +0200 | <maerwald> | Code is a huge mess of different thoughts from very different people. Style doesn't really solve the problem |
| 2021-05-01 13:08:45 +0200 | <__minoru__shirae> | I think at some point in the future people are going to create a tool that allows to code your formatting preferences as a config and automatically convert from your formatting to common standard and back |
| 2021-05-01 13:09:18 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-01 13:12:24 +0200 | malumore_ | (~malumore@151.62.121.94) |
| 2021-05-01 13:12:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 13:13:21 +0200 | <__minoru__shirae> | but people sometimes diverge from their own preferences, so there should be a way of making exceptions |
| 2021-05-01 13:14:26 +0200 | <__minoru__shirae> | something like a hint to the auto-formatter in the comments |
| 2021-05-01 13:15:26 +0200 | malumore__ | (~malumore@151.62.121.94) |
| 2021-05-01 13:15:37 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-01 13:15:44 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 13:15:59 +0200 | vv8 | undecidedvisrain |
| 2021-05-01 13:16:12 +0200 | undecidedvisrain | undvrainbowvital |
| 2021-05-01 13:16:15 +0200 | undvrainbowvital | undvrainbowvita8 |
| 2021-05-01 13:17:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 13:17:11 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-01 13:17:31 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 13:17:33 +0200 | malumore_ | (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 2021-05-01 13:17:57 +0200 | <maerwald> | I don't think formatting is really about "what's the right formatting". It's about what is bad formatting. You just avoid bad formatting (e.g. lines that are 500 chars long) and the rest doesn't significantly improve readability anymore |
| 2021-05-01 13:18:54 +0200 | <maerwald> | so you actually want a formatter that is NOT opinionated and avoids changing code as much as possible |
| 2021-05-01 13:18:55 +0200 | malumore_ | (~malumore@151.62.121.94) |
| 2021-05-01 13:19:21 +0200 | <maerwald> | which means you can mostly preserve your own style |
| 2021-05-01 13:19:28 +0200 | malumore__ | (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 2021-05-01 13:24:04 +0200 | <zzz> | even better, code in your own syntax and share ASTs as the source |
| 2021-05-01 13:24:31 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-05-01 13:26:12 +0200 | <maerwald> | also: getting contributors in open source projects these days is hard enough. If you want to make sure you'll never get one, including a 10 page style guide in your HACKING.md. |
| 2021-05-01 13:26:35 +0200 | Qwerky | (~qwerky@37.172.55.41) |
| 2021-05-01 13:28:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 13:28:35 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 13:28:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-01 13:33:16 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-01 13:33:26 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-01 13:40:06 +0200 | <__minoru__shirae> | another option is to configure branches in git with formatting settings, so that everyone can have their own branch with their formatting, but some branches (like "dev" or "master") have standard formatting automatically |
| 2021-05-01 13:41:26 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds) |
| 2021-05-01 13:42:58 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-05-01 13:44:02 +0200 | ech | (~user@gateway/tor-sasl/ech) |
| 2021-05-01 13:44:14 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-01 13:44:21 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-01 13:45:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 13:45:53 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-05-01 13:46:14 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-01 13:46:46 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 13:48:24 +0200 | tlaxkit | (~konversat@185.228.153.18) |
| 2021-05-01 13:48:33 +0200 | Qwerky | (~qwerky@37.172.55.41) () |
| 2021-05-01 13:49:47 +0200 | ddellacosta | (~ddellacos@86.106.143.34) |
| 2021-05-01 13:54:00 +0200 | <thblt> | Does cabal have some equivalent of the stack shebang `stack --resolver RESOLVER script`? |
| 2021-05-01 13:54:06 +0200 | ddellacosta | (~ddellacos@86.106.143.34) (Ping timeout: 240 seconds) |
| 2021-05-01 13:54:17 +0200 | ech | (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 2021-05-01 13:55:05 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-01 13:55:29 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-05-01 13:55:36 +0200 | thevishy | (~Nishant@117.193.35.98) |
| 2021-05-01 13:55:42 +0200 | <tomsmeding> | thblt: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=running+script#cabal-v2-run ? |
| 2021-05-01 13:56:06 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-01 13:56:39 +0200 | <thblt> | tomsmeding: looks great, thank you! |
| 2021-05-01 13:56:56 +0200 | <geekosaur> | cabal doesn't have a resolver but it doeds have a (poorly documented) script mode including comments that tell it e.g. what packages to expose |
| 2021-05-01 13:59:03 +0200 | <thblt> | geekosaur: thanks! |
| 2021-05-01 13:59:42 +0200 | <tomsmeding> | unfortunately cabal re-builds your script every time you run it |
| 2021-05-01 13:59:57 +0200 | <tomsmeding> | some kind of caching would have been nice, but I guess depending on the purpose of the script it's not that important |
| 2021-05-01 14:04:55 +0200 | <thblt> | Indeed, 2.5s for an hello world :) |
| 2021-05-01 14:05:52 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-01 14:06:16 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-01 14:06:29 +0200 | <thblt> | I have an old botched shebang script for recompiling on change and running a cached binary otherwise, but it's quite hacky. |
| 2021-05-01 14:11:04 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-01 14:11:47 +0200 | jgt | (~jgt@176.232.59.54) |
| 2021-05-01 14:12:11 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-05-01 14:20:03 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 14:22:11 +0200 | __minoru__shirae | (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 2021-05-01 14:27:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-01 14:29:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 14:31:45 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 14:32:46 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 14:33:14 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-01 14:33:49 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-01 14:34:06 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 14:37:37 +0200 | __minoru__shirae | (~shiraeesh@109.166.57.34) |
| 2021-05-01 14:39:45 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-01 14:40:15 +0200 | Guest41112 | (~textual@2603-7000-3040-0000-f13f-9b4c-5fb5-809d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 14:42:46 +0200 | __minoru__shirae | (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 2021-05-01 14:46:00 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 14:47:22 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-05-01 14:50:35 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-01 14:52:02 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 14:52:45 +0200 | hackage | dimensional-codata 2014.0.0.3 - CODATA Recommended Physical Constants with Dimensional Types https://hackage.haskell.org/package/dimensional-codata-2014.0.0.3 (BjornBuckwalter) |
| 2021-05-01 14:53:20 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) (Client Quit) |
| 2021-05-01 14:54:06 +0200 | <olligobber> | can I curry types? |
| 2021-05-01 14:54:24 +0200 | <olligobber> | so if I have `* -> * -> *' can I turn it into `(*,*) -> *' ? |
| 2021-05-01 14:56:08 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-01 14:56:33 +0200 | <olligobber> | does that even make sense? |
| 2021-05-01 14:57:16 +0200 | <Clint> | i don't know what you mean, can you give an example? |
| 2021-05-01 14:57:31 +0200 | <geekosaur> | I thought the only tuples at type level were constraints |
| 2021-05-01 14:59:06 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-01 14:59:59 +0200 | <hpc> | type aliases can't be partially applied |
| 2021-05-01 15:00:04 +0200 | <hpc> | i don't know that they have kinds, per se |
| 2021-05-01 15:00:14 +0200 | <hpc> | but maybe that's the closest you can get to this idea |
| 2021-05-01 15:00:20 +0200 | <olligobber> | I was hoping I could have `Uncurry (,) a` and `Uncurry Either a` where `a :: (*,*)` |
| 2021-05-01 15:00:55 +0200 | <hpc> | actually, upon testing in ghci i am mistaken |
| 2021-05-01 15:00:57 +0200 | <hpc> | ignore me :P |
| 2021-05-01 15:01:01 +0200 | constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-01 15:02:00 +0200 | <olligobber> | So the problem I have at the moment is I want to have a `class Show1 t' with member `show1 :: (a -> String) -> t a -> String', but I want that for types with various numbers of input types |
| 2021-05-01 15:02:26 +0200 | <olligobber> | I could write some template haskell to just generate all those classes, but I think there must be a better way |
| 2021-05-01 15:02:37 +0200 | <olligobber> | but it would have to somehow be generic over kinds |
| 2021-05-01 15:02:50 +0200 | <olligobber> | I don't think haskell has the required kind-level stuff I would need |
| 2021-05-01 15:03:00 +0200 | ddellacosta | (~ddellacos@86.106.143.73) |
| 2021-05-01 15:04:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 15:05:21 +0200 | jgt | (~jgt@176.232.59.54) (Ping timeout: 260 seconds) |
| 2021-05-01 15:06:42 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-01 15:07:06 +0200 | ddellacosta | (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds) |
| 2021-05-01 15:08:35 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 248 seconds) |
| 2021-05-01 15:09:05 +0200 | <olligobber> | % type Get1Of2 a b = a |
| 2021-05-01 15:09:07 +0200 | <yahb> | olligobber: |
| 2021-05-01 15:09:18 +0200 | <olligobber> | % type Fst p = p Get1Of2 |
| 2021-05-01 15:09:18 +0200 | <yahb> | olligobber: ; <interactive>:18:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 2021-05-01 15:09:27 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 2021-05-01 15:09:56 +0200 | <olligobber> | % type Fst (p :: (* -> * -> *) -> *) = p Get1Of2 |
| 2021-05-01 15:09:57 +0200 | <yahb> | olligobber: ; <interactive>:19:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 2021-05-01 15:10:00 +0200 | <olligobber> | >:( |
| 2021-05-01 15:10:08 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-01 15:10:25 +0200 | <olligobber> | I want type level pairs :( |
| 2021-05-01 15:12:01 +0200 | <olligobber> | I think I have to use constraints for that |
| 2021-05-01 15:12:48 +0200 | <olligobber> | I'll investigate some type level stuff later, see what I can find |
| 2021-05-01 15:13:22 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-01 15:16:50 +0200 | <pjb> | olligobber: https://termbin.com/jru0 |
| 2021-05-01 15:17:28 +0200 | carlomagno | (~cararell@148.87.23.13) (Remote host closed the connection) |
| 2021-05-01 15:17:51 +0200 | <olligobber> | that's not quite what I had in mind |
| 2021-05-01 15:20:11 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-01 15:20:13 +0200 | <olligobber> | that's value level currying, I want type level currying |
| 2021-05-01 15:24:12 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 268 seconds) |
| 2021-05-01 15:25:09 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 15:26:49 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:8c40:b489:e8aa:3425:9216) |
| 2021-05-01 15:28:27 +0200 | kik1 | (~kik1@185.169.233.12) (Remote host closed the connection) |
| 2021-05-01 15:28:41 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-01 15:31:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-01 15:33:05 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-01 15:36:42 +0200 | mmfood | (~mmfood@45.91.21.58) |
| 2021-05-01 15:37:09 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-01 15:37:21 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-05-01 15:38:07 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-01 15:39:04 +0200 | graf_blutwurst | (~user@2001:171b:226e:adc0:70e7:22e7:bde:ceb9) |
| 2021-05-01 15:41:51 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 15:44:23 +0200 | pcmanus | (~pcmanus@195.140.213.38) |
| 2021-05-01 15:46:32 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-05-01 15:46:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-01 15:46:56 +0200 | Alleria | Guest90725 |
| 2021-05-01 15:47:23 +0200 | mmfood_1 | (~mmfood@45.91.21.58) |
| 2021-05-01 15:49:39 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 15:49:43 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-01 15:50:16 +0200 | mmfood | (~mmfood@45.91.21.58) (Ping timeout: 260 seconds) |
| 2021-05-01 15:50:39 +0200 | mmfood_2 | (~mmfood@45.91.21.58) |
| 2021-05-01 15:51:45 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Remote host closed the connection) |
| 2021-05-01 15:52:13 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-01 15:52:34 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 15:52:38 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 15:52:51 +0200 | <cub3s_> | When I'm building Haskell projects with "cabal build" on the nix-shell, why doesn't anything extra get downloaded from the Nix binary cache if I change compiler build options? |
| 2021-05-01 15:52:58 +0200 | mmfood_1 | (~mmfood@45.91.21.58) (Ping timeout: 252 seconds) |
| 2021-05-01 15:53:14 +0200 | <cub3s_> | I mean, am I not downloading pre-built libraries after all? If compiler options change, I ought to be downloading a different binary right? |
| 2021-05-01 15:53:58 +0200 | mmfood_1 | (~mmfood@45.91.21.58) |
| 2021-05-01 15:55:01 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 15:55:35 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-01 15:55:46 +0200 | mmfood_2 | (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 2021-05-01 15:56:40 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-01 15:56:48 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-01 15:56:57 +0200 | mmfood_2 | (~mmfood@45.91.21.58) |
| 2021-05-01 15:57:21 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-01 15:59:06 +0200 | mmfood_1 | (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 2021-05-01 15:59:12 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 15:59:19 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-sljlvsodxllzwnvt) |
| 2021-05-01 15:59:23 +0200 | mmfood_1 | (~mmfood@185.176.246.118) |
| 2021-05-01 15:59:26 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds) |
| 2021-05-01 16:00:06 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-05-01 16:00:41 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-05-01 16:01:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 16:02:31 +0200 | mmfood_2 | (~mmfood@45.91.21.58) (Ping timeout: 260 seconds) |
| 2021-05-01 16:02:52 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-01 16:04:15 +0200 | hackage | rattletrap 11.1.1 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-11.1.1 (fozworth) |
| 2021-05-01 16:05:37 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-05-01 16:08:29 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 16:08:43 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 16:09:11 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-01 16:09:35 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 16:11:07 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-01 16:11:45 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 16:13:53 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-05-01 16:16:03 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 250 seconds) |
| 2021-05-01 16:21:59 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-01 16:22:23 +0200 | alx741 | (~alx741@181.196.68.89) |
| 2021-05-01 16:22:23 +0200 | ddellacosta | (~ddellacos@86.106.143.216) |
| 2021-05-01 16:23:00 +0200 | tlaxkit | (~konversat@185.228.153.18) (Quit: Konversation terminated!) |
| 2021-05-01 16:23:27 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 2021-05-01 16:23:48 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-05-01 16:24:08 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 16:25:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 16:25:59 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 16:26:11 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-01 16:26:39 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-01 16:26:46 +0200 | ddellacosta | (~ddellacos@86.106.143.216) (Ping timeout: 240 seconds) |
| 2021-05-01 16:27:14 +0200 | <dmj`> | cub3s_: well the cache doesn't have your program in it, just the dependencies to your program. If you change compiler options of a depedency the derivation will change and you'll get a cache miss. |
| 2021-05-01 16:27:35 +0200 | <dmj`> | cub3s_: forcing you to build that dependency locally |
| 2021-05-01 16:27:57 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Remote host closed the connection) |
| 2021-05-01 16:28:06 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-01 16:28:28 +0200 | jamm__ | (~jamm@unaffiliated/jamm) |
| 2021-05-01 16:31:25 +0200 | safinaskar | (6dfc5a88@109.252.90.136) |
| 2021-05-01 16:31:43 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-01 16:32:24 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-01 16:34:07 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-01 16:34:08 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 2021-05-01 16:34:54 +0200 | nrdmn98 | (~nrdmn@95.129.53.118) (Quit: Bye) |
| 2021-05-01 16:35:06 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 265 seconds) |
| 2021-05-01 16:37:11 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-01 16:37:21 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 16:39:23 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-01 16:39:32 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-05-01 16:39:57 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-01 16:43:11 +0200 | safinaskar | (6dfc5a88@109.252.90.136) () |
| 2021-05-01 16:43:23 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-05-01 16:44:07 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Remote host closed the connection) |
| 2021-05-01 16:44:30 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 16:44:32 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-05-01 16:44:46 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-01 16:45:00 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-01 16:49:07 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-01 16:54:56 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 16:55:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-01 16:56:27 +0200 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-05-01 16:57:23 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 248 seconds) |
| 2021-05-01 16:58:12 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 16:59:28 +0200 | pera | (~pera@unaffiliated/pera) |
| 2021-05-01 17:01:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 17:01:26 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 17:04:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-01 17:04:28 +0200 | yahb | (~yahb@haskell/bot/yahb) (Ping timeout: 252 seconds) |
| 2021-05-01 17:05:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 17:05:38 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-01 17:05:46 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-01 17:06:07 +0200 | mniip | (mniip@freenode/staff/mniip) (Ping timeout: 630 seconds) |
| 2021-05-01 17:07:41 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 17:07:44 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-01 17:07:44 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 2021-05-01 17:08:25 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 268 seconds) |
| 2021-05-01 17:09:00 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-01 17:09:51 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-01 17:10:04 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 17:15:25 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 17:17:57 +0200 | malumore__ | (~malumore@151.62.121.94) |
| 2021-05-01 17:19:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-01 17:20:06 +0200 | malumore_ | (~malumore@151.62.121.94) (Ping timeout: 240 seconds) |
| 2021-05-01 17:21:03 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:599c:a489:a3a:24f3) (Ping timeout: 260 seconds) |
| 2021-05-01 17:22:02 +0200 | random | (~random@46.254.129.126) |
| 2021-05-01 17:26:27 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 17:26:28 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-01 17:28:15 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-01 17:30:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 17:30:34 +0200 | graf_blutwurst | (~user@2001:171b:226e:adc0:70e7:22e7:bde:ceb9) (Remote host closed the connection) |
| 2021-05-01 17:32:22 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 17:33:07 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-01 17:33:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 17:34:16 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 17:37:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 17:38:07 +0200 | dinciorip | (~dincio@5.171.8.85) |
| 2021-05-01 17:38:41 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-01 17:38:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 250 seconds) |
| 2021-05-01 17:39:27 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-01 17:39:56 +0200 | cinimod` | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 2021-05-01 17:39:59 +0200 | <dinciorip> | Hey all. Is there a quick way of configuring hls so that it includes a list of specified packages? I'm asking because HLS seemes to start up when editing a stack script, but specified pkgs in the stack script header aren't considered. |
| 2021-05-01 17:42:25 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 17:42:26 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-01 17:42:49 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-05-01 17:42:49 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-05-01 17:42:49 +0200 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-05-01 17:42:52 +0200 | cinimod | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-01 17:44:19 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-01 17:44:20 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-01 17:44:20 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-01 17:46:24 +0200 | <cub3s_> | dmj`, ah ok for some reason i thought compiler options carried into all dependencies |
| 2021-05-01 17:46:55 +0200 | <cub3s_> | dmj`, for instance if I add -O2 shouldn't everything be O2? |
| 2021-05-01 17:47:48 +0200 | <maerwald> | don't do that :> |
| 2021-05-01 17:48:23 +0200 | <maerwald> | would be surprised if nix ensures all packages build with your CFLAGS anyway |
| 2021-05-01 17:49:04 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-05-01 17:53:32 +0200 | <monochrom> | https://cabal.readthedocs.io/en/3.4/nix-integration.html would be the relevant doc to read for using cabal on top of nix. |
| 2021-05-01 17:56:19 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 17:56:40 +0200 | <ADG1089> | thinking of joining remote haskell jobs, i have 6 months in buffer |
| 2021-05-01 17:56:53 +0200 | <ADG1089> | idk how doable is that for aug-dec this year |
| 2021-05-01 17:58:22 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-01 17:59:25 +0200 | plutoniix | (~q@node-ukq.pool-125-24.dynamic.totinternet.net) |
| 2021-05-01 17:59:39 +0200 | ADG1089 | (~aditya@223.226.237.158) (Client Quit) |
| 2021-05-01 17:59:57 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-01 18:00:14 +0200 | ManofLetters[m] | (manoflette@gateway/shell/matrix.org/x-aldpwaoxcmoohpyk) (Quit: Idle for 30+ days) |
| 2021-05-01 18:00:14 +0200 | chrisbloecker[m] | (chrisbloec@gateway/shell/matrix.org/x-cfmnrgdjzwadkarf) (Quit: Idle for 30+ days) |
| 2021-05-01 18:00:14 +0200 | fox[m]1 | (foxforestf@gateway/shell/matrix.org/x-sgyvyyrumxjkmryw) (Quit: Idle for 30+ days) |
| 2021-05-01 18:00:14 +0200 | enya[m] | (enyaismatr@gateway/shell/matrix.org/x-agkydfhgcfwkhomn) (Quit: Idle for 30+ days) |
| 2021-05-01 18:00:14 +0200 | viktorstrate[m] | (viktorstra@gateway/shell/matrix.org/x-npzjdqyttogpwofo) (Quit: Idle for 30+ days) |
| 2021-05-01 18:00:30 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-01 18:03:09 +0200 | pera | (~pera@unaffiliated/pera) (Quit: leaving) |
| 2021-05-01 18:07:29 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 18:08:29 +0200 | <cub3s_> | maerwald, i'm just trying to understand things. i just learned compiler options only apply for that project. do you think dependencies are mostly compiled with O2 anyway (i.e., as fast as possible)? |
| 2021-05-01 18:09:43 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 18:09:51 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-01 18:10:09 +0200 | <juri_> | well this is unholy. custom type (data Topped x = Something x | Empty) . two values of that type. i can show each value, they have a standard EQ deriving the type.. but when i try to evaluate (var1 == var2), i get Prelude.head: empty list. |
| 2021-05-01 18:10:10 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 18:10:46 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 18:11:46 +0200 | dinciorip | (~dincio@5.171.8.85) (Ping timeout: 265 seconds) |
| 2021-05-01 18:12:35 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 2021-05-01 18:13:30 +0200 | dinciorip | (~dincio@5.170.44.231) |
| 2021-05-01 18:13:37 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-01 18:13:42 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 18:14:06 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 2021-05-01 18:14:20 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 18:14:33 +0200 | <__monty__> | cub3s_: O2 is *not* "as fast as possible." |
| 2021-05-01 18:15:12 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 18:15:39 +0200 | <cub3s_> | __monty__, what is it? O3? (the gist of my question stands lol) |
| 2021-05-01 18:15:46 +0200 | <__monty__> | O2 gets GHC to try to apply more optimizations that are too costly to check for otherwise. But the benefit is very situational. |
| 2021-05-01 18:16:12 +0200 | <__monty__> | No, don't go past -O without benchmarking. Seriously, builds take longer and runtime performance may be worse. |
| 2021-05-01 18:18:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-01 18:19:21 +0200 | poljar | (~poljar@93-139-112-157.adsl.net.t-com.hr) |
| 2021-05-01 18:20:20 +0200 | random | (~random@46.254.129.126) (Remote host closed the connection) |
| 2021-05-01 18:20:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 260 seconds) |
| 2021-05-01 18:21:02 +0200 | <cub3s_> | __monty__, what do most devs do for most dependencies? what i'm driving at, do i have to think about this at all? can i just trust (most of the time) the library devs have already given their library sensible compiler options? |
| 2021-05-01 18:22:01 +0200 | poljar1 | (~poljar@78-1-50-121.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2021-05-01 18:23:47 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-01 18:24:26 +0200 | <__monty__> | Not particularly more or less so than for other ecosystems afaik. But yes you do need to think about this more than "Adding another -O means faster." |
| 2021-05-01 18:26:58 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 2021-05-01 18:29:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-01 18:29:10 +0200 | justsome1 | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 18:32:02 +0200 | ADG1089 | (~aditya@223.226.237.158) (Quit: Konversation terminated!) |
| 2021-05-01 18:32:05 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds) |
| 2021-05-01 18:32:50 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 18:32:56 +0200 | Entertainment | (~entertain@104.246.145.85) |
| 2021-05-01 18:37:25 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-01 18:39:04 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 18:45:51 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds) |
| 2021-05-01 18:46:46 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-05-01 18:46:55 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-01 18:47:29 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-01 18:48:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-01 18:52:00 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 18:55:14 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 18:55:18 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-01 18:56:14 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-01 18:56:31 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 18:56:35 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Read error: Connection reset by peer) |
| 2021-05-01 19:00:50 +0200 | MVQq | (~anja@198.254.208.159) (Quit: q) |
| 2021-05-01 19:01:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 19:03:00 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 19:03:00 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-01 19:07:39 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 19:09:32 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 19:10:03 +0200 | dcoutts__ | (~dcoutts@unaffiliated/dcoutts) |
| 2021-05-01 19:10:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-01 19:10:31 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-05-01 19:10:43 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Ping timeout: 260 seconds) |
| 2021-05-01 19:11:35 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2021-05-01 19:11:39 +0200 | rzmt | (~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2021-05-01 19:11:39 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 2021-05-01 19:11:56 +0200 | <dinciorip> | Is there an equivalent of `lift` or `liftIO` for a function taking an argument and returning a monad? (i.e. of type sig. `a -> IO ()` like `puStr`) |
| 2021-05-01 19:12:10 +0200 | justsome1 | (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 2021-05-01 19:12:44 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 19:13:52 +0200 | dcoutts | (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 240 seconds) |
| 2021-05-01 19:15:00 +0200 | <davean> | dinciorip: you mean "lift"? |
| 2021-05-01 19:15:04 +0200 | malumore | (~malumore@151.62.126.132) |
| 2021-05-01 19:15:57 +0200 | <dinciorip> | I was using backquotes to specify code, do I need to use double quotes instead? |
| 2021-05-01 19:16:24 +0200 | malumore__ | (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 2021-05-01 19:16:48 +0200 | <dinciorip> | Or are you just saying that "lift" works for my usecase? |
| 2021-05-01 19:16:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-01 19:17:34 +0200 | rzmt | (~rzmt@87-92-180-112.rev.dnainternet.fi) |
| 2021-05-01 19:17:40 +0200 | <davean> | I mean lift works for your use case |
| 2021-05-01 19:17:46 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-05-01 19:18:10 +0200 | <dinciorip> | Ok sorry for the confusion |
| 2021-05-01 19:18:34 +0200 | <dinciorip> | That's weird though I got an error using it like that... I'll try again |
| 2021-05-01 19:18:44 +0200 | <davean> | I mean you have to use it correctly |
| 2021-05-01 19:18:49 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-01 19:19:19 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 19:19:50 +0200 | <davean> | dinciorip: so for example "lift . f" |
| 2021-05-01 19:19:54 +0200 | <davean> | composes |
| 2021-05-01 19:20:16 +0200 | <davean> | Effectively "feeding" the result of running f on an input into lift |
| 2021-05-01 19:20:24 +0200 | <davean> | what is f run on an input? m something |
| 2021-05-01 19:20:29 +0200 | <davean> | what does lift take? m something |
| 2021-05-01 19:21:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-01 19:21:27 +0200 | <dinciorip> | davean: It works using compostion. Can't believe I didn't think of it that way XD thanks a lot |
| 2021-05-01 19:22:20 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-01 19:24:02 +0200 | bobbytab1es | bobbytables |
| 2021-05-01 19:24:08 +0200 | nvmd | (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 2021-05-01 19:24:34 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-01 19:25:45 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 2021-05-01 19:26:55 +0200 | <davean> | dinciorip: yep, just think about functions at a bit higher level, less procedurally and more conceptually. |
| 2021-05-01 19:27:00 +0200 | <davean> | dinciorip: should help |
| 2021-05-01 19:27:26 +0200 | asimons04[m] | (asimonsptz@gateway/shell/matrix.org/x-reabkokykcvrwzca) |
| 2021-05-01 19:28:46 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-01 19:31:22 +0200 | ddellacosta | (~ddellacos@86.106.143.177) |
| 2021-05-01 19:32:27 +0200 | <dinciorip> | Yeah it probably will. Didn't even occour to me to try composing the two functions just headed straight into searching another one. |
| 2021-05-01 19:32:50 +0200 | <dinciorip> | I'm still very new to haskell |
| 2021-05-01 19:33:40 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 19:33:44 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-01 19:34:45 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-05-01 19:35:24 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) (Client Quit) |
| 2021-05-01 19:35:32 +0200 | ddellacosta | (~ddellacos@86.106.143.177) (Ping timeout: 240 seconds) |
| 2021-05-01 19:38:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-01 19:39:16 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-01 19:39:39 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-01 19:41:48 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-05-01 19:48:01 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-01 19:48:26 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-01 19:49:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 19:49:48 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-05-01 19:51:49 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-01 19:52:26 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-01 19:55:03 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Remote host closed the connection) |
| 2021-05-01 19:55:18 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-01 20:00:30 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 20:02:14 +0200 | hackage | request 0.2.1.0 - https://hackage.haskell.org/package/request-0.2.1.0 (asaka) |
| 2021-05-01 20:03:15 +0200 | hackage | pusher-http-haskell 2.1.0.1 - Haskell client library for the Pusher Channels HTTP API https://hackage.haskell.org/package/pusher-http-haskell-2.1.0.1 (willsewell) |
| 2021-05-01 20:03:24 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ukveqpcklunebhzh) (Quit: Connection closed for inactivity) |
| 2021-05-01 20:06:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-01 20:08:48 +0200 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-05-01 20:09:32 +0200 | Techcable | (~Techcable@168.235.93.147) |
| 2021-05-01 20:09:35 +0200 | <tomsmeding> | juri_: probably the argument to the 'Something' was an unevaluated thunk that, when evaluated, threw that error? |
| 2021-05-01 20:09:42 +0200 | <tomsmeding> | (which originated somewhere else earlier) |
| 2021-05-01 20:09:45 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 20:10:13 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 20:15:19 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 20:15:23 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-01 20:19:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-01 20:19:24 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-05-01 20:20:01 +0200 | <juri_> | tomsmeding: yeah, i found out how to stop it from happening, but.. i have no idea why it'd follow that codepath. |
| 2021-05-01 20:20:46 +0200 | <tomsmeding> | juri_: that's something only you can know, being able to see the entire source code :) |
| 2021-05-01 20:21:52 +0200 | __minoru__shirae | (~shiraeesh@109.166.56.46) |
| 2021-05-01 20:22:16 +0200 | <juri_> | tomsmeding: I'll be posting the PR hopefully sometime today. fear. :) |
| 2021-05-01 20:22:39 +0200 | <tomsmeding> | should I fear? |
| 2021-05-01 20:22:48 +0200 | <juri_> | my code is.. not the best. :) |
| 2021-05-01 20:23:11 +0200 | yhsiveht | (~Nishant@117.193.35.68) |
| 2021-05-01 20:23:59 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-05-01 20:24:05 +0200 | <tomsmeding> | juri_: it can always get worse https://esolangs.org/wiki/Malbolge |
| 2021-05-01 20:26:06 +0200 | thevishy | (~Nishant@117.193.35.98) (Ping timeout: 240 seconds) |
| 2021-05-01 20:26:16 +0200 | <juri_> | pretty. |
| 2021-05-01 20:27:52 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-01 20:32:09 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 20:34:45 +0200 | jamm__ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-01 20:35:50 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-01 20:36:16 +0200 | toppler` | toppler |
| 2021-05-01 20:36:16 +0200 | RandomArcher | (~RandomArc@90.153.186.49) |
| 2021-05-01 20:38:49 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 20:40:19 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-05-01 20:40:30 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-01 20:41:40 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 2021-05-01 20:42:11 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 20:44:15 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 20:47:45 +0200 | andi- | (~andi-@NixOS/user/andi-) (Ping timeout: 250 seconds) |
| 2021-05-01 20:48:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 20:48:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-01 20:50:46 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 20:52:29 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 20:53:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-01 20:54:13 +0200 | andi- | (~andi-@NixOS/user/andi-) |
| 2021-05-01 20:59:42 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-01 20:59:54 +0200 | constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2021-05-01 21:00:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 21:05:05 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-05-01 21:07:58 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-01 21:10:01 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 21:10:20 +0200 | bitmagie | (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) |
| 2021-05-01 21:12:49 +0200 | bitmagie | (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-01 21:13:06 +0200 | bitmagie | (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) |
| 2021-05-01 21:13:31 +0200 | bitmagie | (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-01 21:15:56 +0200 | Entertainment | (~entertain@104.246.145.85) () |
| 2021-05-01 21:18:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 21:21:11 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-01 21:21:25 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-ajqscjbxyqprtvok) |
| 2021-05-01 21:22:40 +0200 | RandomArcher | (~RandomArc@90.153.186.49) (Remote host closed the connection) |
| 2021-05-01 21:23:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 21:28:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-05-01 21:29:13 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 21:32:15 +0200 | hackage | witch 0.2.1.1 - Convert values from one type into another. https://hackage.haskell.org/package/witch-0.2.1.1 (fozworth) |
| 2021-05-01 21:32:45 +0200 | fendor | (~fendor@91.141.2.250.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-01 21:32:55 +0200 | RandomArcher | (~RandomArc@188.133.94.111) |
| 2021-05-01 21:34:41 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-01 21:35:27 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 21:35:36 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-01 21:35:55 +0200 | fendor | (~fendor@212095005240.public.telering.at) |
| 2021-05-01 21:39:10 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 21:39:33 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 21:41:12 +0200 | RandomArcher | (~RandomArc@188.133.94.111) (Ping timeout: 240 seconds) |
| 2021-05-01 21:41:31 +0200 | RandomArcher | (RandomArch@gateway/vpn/protonvpn/randomarcher) |
| 2021-05-01 21:42:12 +0200 | __minoru__shirae | (~shiraeesh@109.166.56.46) (Ping timeout: 240 seconds) |
| 2021-05-01 21:42:23 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-01 21:42:29 +0200 | __minoru__shirae | (~shiraeesh@109.166.57.8) |
| 2021-05-01 21:42:41 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 2021-05-01 21:42:52 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-01 21:43:29 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 2021-05-01 21:43:41 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-01 21:44:17 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 2021-05-01 21:44:28 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-01 21:45:05 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 2021-05-01 21:45:16 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-01 21:46:05 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 21:46:40 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-01 21:47:18 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-01 21:47:26 +0200 | RandomArcher | (RandomArch@gateway/vpn/protonvpn/randomarcher) (Ping timeout: 240 seconds) |
| 2021-05-01 21:48:49 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:e515:fc51:a243:99ae) |
| 2021-05-01 21:49:09 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 21:49:30 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 21:49:45 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Ping timeout: 265 seconds) |
| 2021-05-01 21:51:37 +0200 | desophos | (~desophos@2601:249:1680:a570:e8c6:41eb:f89b:6f1f) |
| 2021-05-01 21:53:00 +0200 | mav1 | (~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) |
| 2021-05-01 21:54:17 +0200 | Guest90725 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 21:56:13 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-05-01 21:56:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-01 21:56:55 +0200 | urodna_ | (~urodna@unaffiliated/urodna) |
| 2021-05-01 21:59:06 +0200 | urodna | (~urodna@unaffiliated/urodna) (Ping timeout: 240 seconds) |
| 2021-05-01 21:59:10 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 21:59:28 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 22:02:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 22:03:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 22:03:59 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-01 22:05:23 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 22:05:27 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-01 22:05:39 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 268 seconds) |
| 2021-05-01 22:05:43 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 22:07:11 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-05-01 22:08:03 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-01 22:08:04 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-05-01 22:08:20 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-01 22:11:09 +0200 | Alleria | (~textual@69.202.254.168) |
| 2021-05-01 22:11:15 +0200 | hackage | chessIO 0.6.1.0 - Basic chess library https://hackage.haskell.org/package/chessIO-0.6.1.0 (mlang) |
| 2021-05-01 22:11:33 +0200 | Alleria | Guest79401 |
| 2021-05-01 22:14:10 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 22:14:29 +0200 | vchlup_ | (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 22:15:26 +0200 | Guest79401 | (~textual@69.202.254.168) (Ping timeout: 240 seconds) |
| 2021-05-01 22:17:08 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-01 22:19:06 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 2021-05-01 22:22:19 +0200 | constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-01 22:24:33 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-05-01 22:24:50 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-01 22:25:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-01 22:26:13 +0200 | mav1 | (~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-01 22:27:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 22:28:45 +0200 | hackage | ghc-lib-parser 0.20210501 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-parser-0.20210501 (shayne_fletcher) |
| 2021-05-01 22:29:15 +0200 | hackage | ghc-lib 0.20210501 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-0.20210501 (shayne_fletcher) |
| 2021-05-01 22:30:10 +0200 | akkay | (92c42513@146.196.37.19) |
| 2021-05-01 22:31:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-01 22:31:55 +0200 | akkay | (92c42513@146.196.37.19) (Client Quit) |
| 2021-05-01 22:32:16 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 22:32:38 +0200 | thblt | (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 2021-05-01 22:34:20 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-01 22:34:46 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-01 22:36:04 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-01 22:37:58 +0200 | Guest2801 | (~dwight@2603-8080-4602-377d-0000-0000-0000-1c21.res6.spectrum.com) |
| 2021-05-01 22:39:56 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-01 22:39:58 +0200 | alx741 | (~alx741@181.196.68.89) (Ping timeout: 252 seconds) |
| 2021-05-01 22:40:12 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-01 22:41:15 +0200 | fendor | (~fendor@212095005240.public.telering.at) (Read error: Connection reset by peer) |
| 2021-05-01 22:41:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-01 22:42:29 +0200 | Guest2801 | (~dwight@2603-8080-4602-377d-0000-0000-0000-1c21.res6.spectrum.com) (Quit: Leaving) |
| 2021-05-01 22:43:04 +0200 | fendor | (~fendor@91.141.2.250.wireless.dyn.drei.com) |
| 2021-05-01 22:44:03 +0200 | travv0 | (sid293381@gateway/web/irccloud.com/x-ibennfphzbqxqksd) (Ping timeout: 246 seconds) |
| 2021-05-01 22:44:04 +0200 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-uvtkxtknhyjkpohz) (Ping timeout: 248 seconds) |
| 2021-05-01 22:44:19 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-tmdqaspioghaundv) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:19 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-yupwkseagmcsclao) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:19 +0200 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-huuoejtmpgsbomho) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:21 +0200 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-kdwwbglqjsasvtqj) (Ping timeout: 258 seconds) |
| 2021-05-01 22:44:24 +0200 | cstrahan | (sid36118@gateway/web/irccloud.com/x-hpizenqsuhtlubbn) (Ping timeout: 246 seconds) |
| 2021-05-01 22:44:27 +0200 | entel | (uid256215@gateway/web/irccloud.com/x-faybeeyqfufhejcm) (Ping timeout: 260 seconds) |
| 2021-05-01 22:44:34 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:34 +0200 | kip | (sid71464@gateway/web/irccloud.com/x-webckzlcagezilts) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:34 +0200 | teehemkay | (sid14792@gateway/web/irccloud.com/x-vrzhbkfkvvlqpciw) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:34 +0200 | blackriversoftwa | (sid364914@gateway/web/irccloud.com/x-nqkjcymscowwdvxo) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:35 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx) (Read error: Connection reset by peer) |
| 2021-05-01 22:44:35 +0200 | joel135 | (sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd) (Read error: Connection reset by peer) |
| 2021-05-01 22:44:44 +0200 | adamse | (sid72084@gateway/web/irccloud.com/x-pqgjxyvnyjkpejpe) (Ping timeout: 258 seconds) |
| 2021-05-01 22:44:44 +0200 | parseval | (sid239098@gateway/web/irccloud.com/x-mgyjqkcnbnnprosw) (Ping timeout: 258 seconds) |
| 2021-05-01 22:44:44 +0200 | chessai | (sid225296@gateway/web/irccloud.com/x-byrazhpexotqswfh) (Ping timeout: 258 seconds) |
| 2021-05-01 22:44:45 +0200 | natim87 | (sid286962@gateway/web/irccloud.com/x-twckrkpcygtbpwdz) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:45 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-qitlcehrrgjsxmby) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:45 +0200 | yogani | (sid42623@gateway/web/irccloud.com/x-diwllcjriwggxbhg) (Ping timeout: 250 seconds) |
| 2021-05-01 22:44:46 +0200 | npgm | (sid42623@gateway/web/irccloud.com/x-fhkrdsmpgobnqrhj) (Ping timeout: 246 seconds) |
| 2021-05-01 22:44:46 +0200 | brownxoat | (uid497520@gateway/web/irccloud.com/x-oixgpoqiqdtzpkhf) (Read error: Connection reset by peer) |
| 2021-05-01 22:44:47 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-cpijtsbzgmtoihvj) |
| 2021-05-01 22:44:47 +0200 | joel135 | (sid136450@gateway/web/irccloud.com/x-btpltzfcfgoqnjdk) |
| 2021-05-01 22:44:55 +0200 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-rcgrecdlrkfjoymx) |
| 2021-05-01 22:44:55 +0200 | koankeeper | (sid216950@gateway/web/irccloud.com/x-nzolrgtzcrofgnoi) (Ping timeout: 260 seconds) |
| 2021-05-01 22:44:55 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-ajnbmzmsakddueby) (Ping timeout: 260 seconds) |
| 2021-05-01 22:44:56 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:56 +0200 | brownxoat | (uid497520@gateway/web/irccloud.com/x-gnvcoowjhkmblozz) |
| 2021-05-01 22:44:56 +0200 | adamse | (sid72084@gateway/web/irccloud.com/x-mlscjvpdmswucwuj) |
| 2021-05-01 22:44:59 +0200 | cbarrett | (sid192934@gateway/web/irccloud.com/x-pcpsnnndmmzgqjie) (Ping timeout: 245 seconds) |
| 2021-05-01 22:44:59 +0200 | thi | (sid97277@gateway/web/irccloud.com/x-oifnjcxoqwnxxowb) (Ping timeout: 245 seconds) |
| 2021-05-01 22:45:06 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-qgdrlegiweaqkffo) (Ping timeout: 246 seconds) |
| 2021-05-01 22:45:06 +0200 | cemerick | (sid54985@gateway/web/irccloud.com/x-egkglgovrlmgnbit) (Ping timeout: 246 seconds) |
| 2021-05-01 22:45:20 +0200 | cbarrett | (sid192934@adium/cbarrett) |
| 2021-05-01 22:45:23 +0200 | tapas | (sid467876@gateway/web/irccloud.com/x-kfnzeibaxcgtifed) (Ping timeout: 260 seconds) |
| 2021-05-01 22:45:23 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-cnlrhpzwvwyuplws) (Ping timeout: 260 seconds) |
| 2021-05-01 22:45:23 +0200 | NemesisD | (sid24071@gateway/web/irccloud.com/x-ycovkwiujmamhcns) (Ping timeout: 260 seconds) |
| 2021-05-01 22:45:23 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-nmgeupgtnhzagvmo) (Ping timeout: 260 seconds) |
| 2021-05-01 22:45:30 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-hjfzqqwmhebemcto) |
| 2021-05-01 22:45:42 +0200 | npgm | (sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo) |
| 2021-05-01 22:45:43 +0200 | cstrahan | (sid36118@gateway/web/irccloud.com/x-jwbvbshiqcwnansi) |
| 2021-05-01 22:45:44 +0200 | koankeeper | (sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu) |
| 2021-05-01 22:45:45 +0200 | blackriversoftwa | (sid364914@gateway/web/irccloud.com/x-xymzuctbyliynnwh) |
| 2021-05-01 22:45:47 +0200 | cemerick | (sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo) |
| 2021-05-01 22:45:48 +0200 | teehemkay | (sid14792@gateway/web/irccloud.com/x-uxywiqahddcwiviw) |
| 2021-05-01 22:45:49 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-fdmmbtrvbseviuro) (Ping timeout: 245 seconds) |
| 2021-05-01 22:45:55 +0200 | entel | (uid256215@botters/entel) |
| 2021-05-01 22:46:02 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-01 22:46:03 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-acomrlmtwzzmslun) (Ping timeout: 250 seconds) |
| 2021-05-01 22:46:03 +0200 | rodlogic__ | (sid214676@gateway/web/irccloud.com/x-jsfobhdzpplfsdpe) (Ping timeout: 250 seconds) |
| 2021-05-01 22:46:21 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-05-01 22:46:56 +0200 | chessai | (sid225296@gateway/web/irccloud.com/x-qdrhqswrbokzjufq) |
| 2021-05-01 22:46:58 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-nohdotnpqgmaljhg) |
| 2021-05-01 22:46:59 +0200 | yogani | (sid42623@gateway/web/irccloud.com/x-bnhacqijyxmiyyae) |
| 2021-05-01 22:47:02 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-sgyntsoasgqdqqwz) |
| 2021-05-01 22:47:03 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-cymkwsjxbflumclu) |
| 2021-05-01 22:47:04 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-fiiksfzjjwldxwig) |
| 2021-05-01 22:47:04 +0200 | NemesisD | (sid24071@gateway/web/irccloud.com/x-fkxaomdnkvheoktk) |
| 2021-05-01 22:47:04 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-omsvvcpcwxsussbn) |
| 2021-05-01 22:47:04 +0200 | travv0 | (sid293381@gateway/web/irccloud.com/x-bgosnvmgywfhipga) |
| 2021-05-01 22:47:05 +0200 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-axsaplaythlyhqvy) |
| 2021-05-01 22:47:05 +0200 | natim87 | (sid286962@gateway/web/irccloud.com/x-segjzaitfpijfgwt) |
| 2021-05-01 22:47:06 +0200 | tapas | (sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj) |
| 2021-05-01 22:47:06 +0200 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg) |
| 2021-05-01 22:47:07 +0200 | rodlogic__ | (sid214676@gateway/web/irccloud.com/x-eoudvnsbeyqqlkat) |
| 2021-05-01 22:47:08 +0200 | kip | (sid71464@gateway/web/irccloud.com/x-ejmdxvkprgoyfvds) |
| 2021-05-01 22:47:11 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-okppepjuupguejis) |
| 2021-05-01 22:47:13 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-zohgjjsthivlaoum) |
| 2021-05-01 22:47:21 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-fvnebrpcqfvnuzef) |
| 2021-05-01 22:47:21 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-mbvquzwaocrjeomi) |
| 2021-05-01 22:47:53 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-nijwetafsecwzhgt) |
| 2021-05-01 22:47:59 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-05-01 22:48:00 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-sgyntsoasgqdqqwz) (Max SendQ exceeded) |
| 2021-05-01 22:48:11 +0200 | Nascha | (sid212230@gateway/web/irccloud.com/x-isfxwpevxpkghjql) (Ping timeout: 260 seconds) |
| 2021-05-01 22:48:11 +0200 | nlofaro | (sid258233@gateway/web/irccloud.com/x-usnfghvzaavehzve) (Ping timeout: 260 seconds) |
| 2021-05-01 22:48:32 +0200 | NemesisD | (sid24071@gateway/web/irccloud.com/x-fkxaomdnkvheoktk) (Max SendQ exceeded) |
| 2021-05-01 22:48:40 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-okppepjuupguejis) (Max SendQ exceeded) |
| 2021-05-01 22:48:49 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-mbvquzwaocrjeomi) (Max SendQ exceeded) |
| 2021-05-01 22:49:39 +0200 | lally | (sid388228@gateway/web/irccloud.com/x-mustwksujnqlrayq) (Ping timeout: 246 seconds) |
| 2021-05-01 22:49:40 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-fvnebrpcqfvnuzef) (Max SendQ exceeded) |
| 2021-05-01 22:49:55 +0200 | angerman | (sid209936@gateway/web/irccloud.com/x-vkbiyhlbxhfghaep) (Ping timeout: 248 seconds) |
| 2021-05-01 22:49:59 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) (Ping timeout: 245 seconds) |
| 2021-05-01 22:50:03 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-lbsuvmnzhurzmlgb) (Ping timeout: 260 seconds) |
| 2021-05-01 22:50:03 +0200 | dsal | (sid13060@gateway/web/irccloud.com/x-rbhhbvpkgeegolrt) (Ping timeout: 260 seconds) |
| 2021-05-01 22:50:03 +0200 | edmundnoble | (sid229620@gateway/web/irccloud.com/x-emmrpthgulpebvrs) (Ping timeout: 260 seconds) |
| 2021-05-01 22:50:10 +0200 | parseval | (sid239098@gateway/web/irccloud.com/x-kgsjdvzwchusspuk) |
| 2021-05-01 22:50:14 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-zohgjjsthivlaoum) (Max SendQ exceeded) |
| 2021-05-01 22:50:16 +0200 | nlofaro | (sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf) |
| 2021-05-01 22:50:16 +0200 | Nascha | (sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar) |
| 2021-05-01 22:50:17 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-gkzbqequsfjzsifm) |
| 2021-05-01 22:50:19 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-azfovzljcvllvjsz) |
| 2021-05-01 22:50:19 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb) |
| 2021-05-01 22:50:27 +0200 | entel | (uid256215@botters/entel) (Max SendQ exceeded) |
| 2021-05-01 22:50:31 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm) (Ping timeout: 260 seconds) |
| 2021-05-01 22:50:34 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-pnimwispknmgrbja) |
| 2021-05-01 22:50:39 +0200 | thi | (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) |
| 2021-05-01 22:50:40 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-cpijtsbzgmtoihvj) (Ping timeout: 276 seconds) |
| 2021-05-01 22:50:52 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-nijwetafsecwzhgt) (Excess Flood) |
| 2021-05-01 22:50:53 +0200 | NemesisD | (sid24071@gateway/web/irccloud.com/x-dzmyzafvcbeydbqy) |
| 2021-05-01 22:50:54 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-revgodckvfrudozr) |
| 2021-05-01 22:50:59 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-hjfzqqwmhebemcto) (Ping timeout: 260 seconds) |
| 2021-05-01 22:50:59 +0200 | idnar | (sid12240@gateway/web/irccloud.com/x-keevbfwrcfohgwht) (Ping timeout: 260 seconds) |
| 2021-05-01 22:51:03 +0200 | scav | (sid309693@gateway/web/irccloud.com/x-zpwaikoxdaqjtkjd) (Ping timeout: 258 seconds) |
| 2021-05-01 22:51:04 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-qyedrcpqcfzgabrs) |
| 2021-05-01 22:51:12 +0200 | angerman | (sid209936@gateway/web/irccloud.com/x-bjqvqntumlclafcb) |
| 2021-05-01 22:51:12 +0200 | entel | (uid256215@botters/entel) |
| 2021-05-01 22:51:14 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu) (Ping timeout: 245 seconds) |
| 2021-05-01 22:51:14 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-rptzeemvcbwvtpoq) (Ping timeout: 245 seconds) |
| 2021-05-01 22:51:14 +0200 | feepo | (sid28508@gateway/web/irccloud.com/x-scbvwvhfmythcfru) (Ping timeout: 245 seconds) |
| 2021-05-01 22:51:15 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-qidbuhiulumhvzos) (Ping timeout: 250 seconds) |
| 2021-05-01 22:51:15 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-nmpsczwmqtirdvkj) |
| 2021-05-01 22:51:18 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-ebtrxrhcmwzrgwfl) |
| 2021-05-01 22:51:18 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) |
| 2021-05-01 22:51:28 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-eplpevcwgafbnswy) |
| 2021-05-01 22:51:28 +0200 | lally | (sid388228@gateway/web/irccloud.com/x-epmeawsrwfhvjugi) |
| 2021-05-01 22:51:41 +0200 | JSharp | (sid4580@wikia/JSharp) (Ping timeout: 250 seconds) |
| 2021-05-01 22:51:41 +0200 | jlpeters | (sid25606@gateway/web/irccloud.com/x-dbifrnxtcwhelvgl) (Ping timeout: 250 seconds) |
| 2021-05-01 22:51:49 +0200 | edmundnoble | (sid229620@gateway/web/irccloud.com/x-qbknwyguzexjcemb) |
| 2021-05-01 22:51:57 +0200 | idnar | (sid12240@gateway/web/irccloud.com/x-pmxdxjhakcbmtigk) |
| 2021-05-01 22:52:46 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) (Max SendQ exceeded) |
| 2021-05-01 22:53:20 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-azfovzljcvllvjsz) (Max SendQ exceeded) |
| 2021-05-01 22:53:27 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-01 22:53:51 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-tjtmijegqbuqabqg) |
| 2021-05-01 22:54:13 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-pnimwispknmgrbja) (Max SendQ exceeded) |
| 2021-05-01 22:54:16 +0200 | scav | (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) |
| 2021-05-01 22:54:17 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:17 +0200 | tributarian | (sid381145@gateway/web/irccloud.com/x-nsecoaejldvgfonl) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:17 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:17 +0200 | newhoggy | (sid198874@gateway/web/irccloud.com/x-odbcefoglogukgog) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:18 +0200 | alx741 | (~alx741@181.196.69.213) |
| 2021-05-01 22:54:19 +0200 | ajmcmiddlin | (sid284402@gateway/web/irccloud.com/x-haiyfskefbbtaisd) (Ping timeout: 258 seconds) |
| 2021-05-01 22:54:21 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-revgodckvfrudozr) (Max SendQ exceeded) |
| 2021-05-01 22:54:28 +0200 | feepo | (sid28508@gateway/web/irccloud.com/x-wwogwwfwpqlxwlgl) |
| 2021-05-01 22:54:30 +0200 | amatecha____ | (sid10006@gateway/web/irccloud.com/x-gvwvasnyguqtijeo) (Ping timeout: 258 seconds) |
| 2021-05-01 22:54:33 +0200 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 246 seconds) |
| 2021-05-01 22:54:34 +0200 | pent | (sid313808@gateway/web/irccloud.com/x-kxizvjpikxcxwtml) (Ping timeout: 245 seconds) |
| 2021-05-01 22:54:37 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-rwifggglogkkmwmr) |
| 2021-05-01 22:54:42 +0200 | grfn | (sid449115@gateway/web/irccloud.com/x-bdqnujcrokkpscfq) (Ping timeout: 258 seconds) |
| 2021-05-01 22:54:42 +0200 | FMJz_____ | (sid279245@gateway/web/irccloud.com/x-gdvcqgmmbdaqujfv) (Ping timeout: 258 seconds) |
| 2021-05-01 22:54:43 +0200 | chessai | (sid225296@gateway/web/irccloud.com/x-qdrhqswrbokzjufq) (Ping timeout: 260 seconds) |
| 2021-05-01 22:54:43 +0200 | alanz | (sid110616@gateway/web/irccloud.com/x-ncrnigbstdtdkqie) (Ping timeout: 260 seconds) |
| 2021-05-01 22:54:43 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-cchyjwwvmcgmcjcg) (Ping timeout: 260 seconds) |
| 2021-05-01 22:54:43 +0200 | pringlescan | (uid192736@gateway/web/irccloud.com/x-lenvtbpxunzhzodb) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:43 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:43 +0200 | liquorice | (sid267884@gateway/web/irccloud.com/x-nzkqxgdtfgechhzd) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:44 +0200 | jonrh | (sid5185@gateway/web/irccloud.com/x-wzkchmmanupyucfa) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:44 +0200 | moobar | (sid171730@gateway/web/irccloud.com/x-mfdnwzlgpjfftngj) (Ping timeout: 250 seconds) |
| 2021-05-01 22:54:44 +0200 | adamse | (sid72084@gateway/web/irccloud.com/x-mlscjvpdmswucwuj) (Ping timeout: 248 seconds) |
| 2021-05-01 22:54:51 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw) (Read error: Connection reset by peer) |
| 2021-05-01 22:54:51 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz) (Read error: Connection reset by peer) |
| 2021-05-01 22:54:53 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-wtimblnxvtqrrlzx) (Read error: Connection reset by peer) |
| 2021-05-01 22:54:55 +0200 | runeks | (sid21167@gateway/web/irccloud.com/x-hasdkvyrirwackgz) (Ping timeout: 246 seconds) |
| 2021-05-01 22:54:55 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) |
| 2021-05-01 22:54:56 +0200 | teehemkay | (sid14792@gateway/web/irccloud.com/x-uxywiqahddcwiviw) (Read error: Connection reset by peer) |
| 2021-05-01 22:54:59 +0200 | rann | (sid175221@gateway/web/irccloud.com/x-ispnvynichnxaxzh) (Ping timeout: 245 seconds) |
| 2021-05-01 22:54:59 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec) (Ping timeout: 245 seconds) |
| 2021-05-01 22:54:59 +0200 | dgpratt | (sid193493@gateway/web/irccloud.com/x-ovlxokqacfliraro) (Ping timeout: 245 seconds) |
| 2021-05-01 22:55:04 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-eplpevcwgafbnswy) (Excess Flood) |
| 2021-05-01 22:55:05 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-rpcgwizcoublvqlf) |
| 2021-05-01 22:55:08 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-tpskmsnkgjzzndkf) |
| 2021-05-01 22:55:09 +0200 | adamse | (sid72084@gateway/web/irccloud.com/x-puohczerzhlxmbcd) |
| 2021-05-01 22:55:09 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-ajqscjbxyqprtvok) (Ping timeout: 250 seconds) |
| 2021-05-01 22:55:09 +0200 | kaychaks | (sid236345@gateway/web/irccloud.com/x-vvdrivxruwhittji) (Ping timeout: 250 seconds) |
| 2021-05-01 22:55:10 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-orzpfpabdksdtfgw) |
| 2021-05-01 22:55:11 +0200 | tributarian | (sid381145@gateway/web/irccloud.com/x-eeuhxzmchjqkodyv) |
| 2021-05-01 22:55:11 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-fiiksfzjjwldxwig) (Ping timeout: 260 seconds) |
| 2021-05-01 22:55:11 +0200 | parisienne | (sid383587@gateway/web/irccloud.com/x-nwydpoxjajroybbx) (Ping timeout: 260 seconds) |
| 2021-05-01 22:55:11 +0200 | ajmcmiddlin | (sid284402@gateway/web/irccloud.com/x-zedxpawnnjzkmoir) |
| 2021-05-01 22:55:13 +0200 | blackriversoftwa | (sid364914@gateway/web/irccloud.com/x-xymzuctbyliynnwh) (Ping timeout: 276 seconds) |
| 2021-05-01 22:55:13 +0200 | cbarrett | (sid192934@adium/cbarrett) (Ping timeout: 276 seconds) |
| 2021-05-01 22:55:14 +0200 | teehemkay | (sid14792@gateway/web/irccloud.com/x-xuibphqfjsbzklag) |
| 2021-05-01 22:55:15 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-tedxcwlifdwpqlcf) |
| 2021-05-01 22:55:15 +0200 | dsal | (sid13060@gateway/web/irccloud.com/x-zounpjlomilsmhqz) |
| 2021-05-01 22:55:16 +0200 | ^[ | (sid43445@gateway/web/irccloud.com/x-ugyfoxhbynrgoqzp) (Ping timeout: 246 seconds) |
| 2021-05-01 22:55:21 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-dvuppglxmxbuwdqf) |
| 2021-05-01 22:55:22 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-lueqolprtaqpohdi) |
| 2021-05-01 22:55:23 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-udwflvyexwjwmsyu) |
| 2021-05-01 22:55:23 +0200 | jlpeters | (sid25606@gateway/web/irccloud.com/x-arwccajngugcacff) |
| 2021-05-01 22:55:23 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-gqfmidrvmqxlqunt) |
| 2021-05-01 22:55:24 +0200 | Guest86361 | (sid309956@gateway/web/irccloud.com/x-ijoedzrmmabuizls) (Ping timeout: 245 seconds) |
| 2021-05-01 22:55:25 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-kmmdocnfhgdlkmie) |
| 2021-05-01 22:55:26 +0200 | albethere | (sid457088@gateway/web/irccloud.com/x-ypjvwxpdiimxodrd) |
| 2021-05-01 22:55:27 +0200 | FMJz_____ | (sid279245@gateway/web/irccloud.com/x-jlunksjulhvmctkz) |
| 2021-05-01 22:55:31 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-ipktkzcrditobyzs) (Ping timeout: 260 seconds) |
| 2021-05-01 22:55:35 +0200 | gregberns_ | (sid315709@gateway/web/irccloud.com/x-skjetjsgahxqvatt) (Ping timeout: 250 seconds) |
| 2021-05-01 22:55:35 +0200 | liquorice | (sid267884@gateway/web/irccloud.com/x-rrsknyuqibmsgrnl) |
| 2021-05-01 22:55:39 +0200 | billstclair | (sid77830@gateway/web/irccloud.com/x-ouhlhzompordlszs) (Ping timeout: 258 seconds) |
| 2021-05-01 22:55:45 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-arbekezlrkucpqjq) |
| 2021-05-01 22:55:46 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-gkzbqequsfjzsifm) (Ping timeout: 240 seconds) |
| 2021-05-01 22:55:47 +0200 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-rcgrecdlrkfjoymx) (Ping timeout: 248 seconds) |
| 2021-05-01 22:55:54 +0200 | JSharp | (sid4580@wikia/JSharp) |
| 2021-05-01 22:55:57 +0200 | rizary | (sid220347@gateway/web/irccloud.com/x-uzljfsveodeuccfd) |
| 2021-05-01 22:56:01 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-rvnpjowkbxcsxpry) |
| 2021-05-01 22:56:01 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc) (Ping timeout: 250 seconds) |
| 2021-05-01 22:56:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 22:56:02 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-fuvvxehhumskktue) |
| 2021-05-01 22:56:07 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-exedhhwbfaneiogy) (Ping timeout: 260 seconds) |
| 2021-05-01 22:56:07 +0200 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-juycsjrjjlxwmqxd) |
| 2021-05-01 22:56:11 +0200 | grfn | (sid449115@gateway/web/irccloud.com/x-sjtubiawjbbpwhkv) |
| 2021-05-01 22:56:16 +0200 | dgpratt | (sid193493@gateway/web/irccloud.com/x-cijfyohsqekxzffe) |
| 2021-05-01 22:56:17 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-ymmzryfvswoxfpty) |
| 2021-05-01 22:56:17 +0200 | parisienne | (sid383587@gateway/web/irccloud.com/x-ufvusthrvsiiipcy) |
| 2021-05-01 22:56:19 +0200 | alanz | (sid110616@gateway/web/irccloud.com/x-gmjggvpguvuxoubd) |
| 2021-05-01 22:56:22 +0200 | gregberns_ | (sid315709@gateway/web/irccloud.com/x-iraqpdpziokobihx) |
| 2021-05-01 22:56:25 +0200 | kaychaks | (sid236345@gateway/web/irccloud.com/x-zdikqmehbjwcyukf) |
| 2021-05-01 22:56:27 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-ebtrxrhcmwzrgwfl) (Ping timeout: 250 seconds) |
| 2021-05-01 22:56:31 +0200 | pent | (sid313808@gateway/web/irccloud.com/x-cpxermbqpxsktgud) |
| 2021-05-01 22:56:36 +0200 | runeks | (sid21167@gateway/web/irccloud.com/x-uvksicbwepulegbv) |
| 2021-05-01 22:56:39 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-xzygzpuerezxithz) |
| 2021-05-01 22:56:41 +0200 | chessai | (sid225296@gateway/web/irccloud.com/x-ldpypglktrbopvgw) |
| 2021-05-01 22:56:45 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2021-05-01 22:56:48 +0200 | moobar | (sid171730@gateway/web/irccloud.com/x-dzeuwzhyexwyqqbx) |
| 2021-05-01 22:56:49 +0200 | blackriversoftwa | (sid364914@gateway/web/irccloud.com/x-zpbotnmudrijetbw) |
| 2021-05-01 22:56:51 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-lcvuldtqumombbtc) |
| 2021-05-01 22:57:09 +0200 | jonrh | (sid5185@gateway/web/irccloud.com/x-mgnbpcjwtutwyefu) |
| 2021-05-01 22:57:09 +0200 | amatecha____ | (sid10006@gateway/web/irccloud.com/x-kkwncmkzdtehtbuc) |
| 2021-05-01 22:57:14 +0200 | alunduil | (alunduil@gateway/web/irccloud.com/x-gotmixnsbbkqusav) |
| 2021-05-01 22:57:15 +0200 | pringlescan | (uid192736@gateway/web/irccloud.com/x-puuysjqvmclgwmck) |
| 2021-05-01 22:57:15 +0200 | billstclair | (sid77830@gateway/web/irccloud.com/x-olfxcxrqivvdbbbh) |
| 2021-05-01 22:57:15 +0200 | cbarrett | (sid192934@adium/cbarrett) |
| 2021-05-01 22:57:18 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-05-01 22:57:24 +0200 | Guest86361 | (sid309956@gateway/web/irccloud.com/x-rvponptvoabwkozx) |
| 2021-05-01 22:57:25 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-pnnpnsamzcgcvhic) |
| 2021-05-01 22:57:25 +0200 | newhoggy | (sid198874@gateway/web/irccloud.com/x-cbfobebtzfwaaecs) |
| 2021-05-01 22:57:36 +0200 | ^[ | (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-05-01 22:57:37 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-oepyiacuibpypgrx) |
| 2021-05-01 22:57:40 +0200 | rann | (sid175221@gateway/web/irccloud.com/x-kpzfexuzehrsrngu) |
| 2021-05-01 22:57:44 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-01 22:59:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-01 23:01:18 +0200 | jgt | (~jgt@178.233.42.233) |
| 2021-05-01 23:01:20 +0200 | <hololeap> | is there something in base that is the equivalent of `where` in linux, in other words it returns the path of an executable in $PATH |
| 2021-05-01 23:01:52 +0200 | Alleria | (~textual@2603-7000-3040-0000-6c1e-6cc0-306b-de82.res6.spectrum.com) |
| 2021-05-01 23:02:16 +0200 | Alleria | Guest50267 |
| 2021-05-01 23:03:35 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-01 23:05:56 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-01 23:07:14 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 23:09:05 +0200 | <hololeap> | hm, i searched hoogle for 'FilePath -> IO FilePath' and i don't see what i want. oh well. |
| 2021-05-01 23:10:17 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-01 23:10:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-01 23:11:07 +0200 | <hololeap> | when you install some packages with `cabal install --lib --enable-documentation`, the docs get spread around in different directories. is there a good way to make a master index of all of these? i would like something that lists each package and links to the local docs. |
| 2021-05-01 23:11:27 +0200 | <Rembane> | hololeap: You could write something yourself that takes the $PATH variable, splits it and searches through all of them after a string. |
| 2021-05-01 23:11:51 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 23:12:24 +0200 | <hololeap> | Rembane: it turns out i didn't need to give the absoulte path of the executable |
| 2021-05-01 23:13:24 +0200 | <Rembane> | hololeap: That's good. |
| 2021-05-01 23:13:57 +0200 | <hololeap> | if i absolutely had to, i'd probably just grab the output of `where` |
| 2021-05-01 23:15:14 +0200 | yhsiveht | (~Nishant@117.193.35.68) (Ping timeout: 246 seconds) |
| 2021-05-01 23:15:32 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-05-01 23:15:46 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95260054a0f399f7bc3e.dip0.t-ipconnect.de) |
| 2021-05-01 23:16:45 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-05-01 23:18:36 +0200 | usr25 | (~usr25@unaffiliated/usr25) ("Leaving") |
| 2021-05-01 23:22:18 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-01 23:23:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-01 23:23:29 +0200 | <hpc> | keep things exciting, use the output of apropos instead :D |
| 2021-05-01 23:24:53 +0200 | <hololeap> | hpc: i totally forgot about that command until now! |
| 2021-05-01 23:25:27 +0200 | <hololeap> | i learned about a lot of good linux utils using that back when i first started learning |
| 2021-05-01 23:25:47 +0200 | <hololeap> | on slackware, no less |
| 2021-05-01 23:25:47 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-05-01 23:28:48 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-01 23:33:09 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-05-01 23:33:12 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-05-01 23:33:26 +0200 | Volt_ | (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) |
| 2021-05-01 23:33:29 +0200 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-05-01 23:34:46 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-01 23:37:11 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-01 23:39:52 +0200 | mmfood_2 | (~mmfood@45.91.21.58) |
| 2021-05-01 23:42:06 +0200 | mmfood_1 | (~mmfood@185.176.246.118) (Ping timeout: 240 seconds) |
| 2021-05-01 23:42:19 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-01 23:44:06 +0200 | <hololeap> | regarding my question about docs: i thought i might be able to grab the doc locations using `ghc-pkg`, but it doesn't seem to know about anything installed through `cabal install --lib` |
| 2021-05-01 23:45:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 23:45:49 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 23:46:53 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-01 23:47:55 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-01 23:49:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 23:50:07 +0200 | <hololeap> | i notice there is an argument in the ghc-pkg help: --package-db=FILE/DIR use the specified package database |
| 2021-05-01 23:50:18 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-01 23:50:29 +0200 | <hololeap> | i'm not finding something like this in ~/.cabal, but maybe i just don't know where to look? |
| 2021-05-01 23:50:38 +0200 | <geekosaur> | cabal-install --lib doesn't use a package database |
| 2021-05-01 23:50:43 +0200 | <geekosaur> | it uses environment files |
| 2021-05-01 23:50:50 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-xzygzpuerezxithz) (Quit: Connection closed for inactivity) |
| 2021-05-01 23:50:52 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 23:51:19 +0200 | <hololeap> | geekosaur: so how would i go about enumerating all the packages that were "installed" this way and grab there doc locations? |
| 2021-05-01 23:51:25 +0200 | <hololeap> | *their |
| 2021-05-01 23:51:38 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 2021-05-01 23:52:19 +0200 | <geekosaur> | ~/.ghc/<version>/environments/* |
| 2021-05-01 23:52:53 +0200 | <hololeap> | hm, ok |
| 2021-05-01 23:53:26 +0200 | <hololeap> | is there a better way to get the docs installed locally than `cabal install --lib --enable-documentation`? |
| 2021-05-01 23:53:35 +0200 | <hololeap> | i'm using ghcup on ubuntu |
| 2021-05-01 23:54:00 +0200 | pcmanus | (~pcmanus@195.140.213.38) (Remote host closed the connection) |
| 2021-05-01 23:54:12 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-zohuszkgaklticjf) |
| 2021-05-01 23:54:20 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-01 23:54:26 +0200 | <geekosaur> | that I don't know |
| 2021-05-01 23:54:43 +0200 | <hololeap> | geekosaur: good enough for me. thank you |
| 2021-05-01 23:56:27 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-01 23:57:07 +0200 | <hololeap> | geekosaur: what do you use for docs? hackage.haskell.org, or do you install them locally somehow? |
| 2021-05-01 23:57:20 +0200 | <geekosaur> | hackage, generally |
| 2021-05-01 23:57:27 +0200 | <hololeap> | ok, just curiouis |
| 2021-05-01 23:59:11 +0200 | zebrag | (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 23:59:12 +0200 | <hololeap> | hm, i have two instances of optparse-applicative-0.16.1.0, each with a different hash, in ~/.ghc/<version>/environments/default. why would that be? |