Logs: freenode/#haskell
| 2021-04-08 14:02:42 | × | raym quits (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-08 14:03:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 14:06:29 | × | roconnor quits (~roconnor@host-192.252-170-125.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-04-08 14:09:09 | → | ixlun joins (~matthew@213.205.241.25) |
| 2021-04-08 14:10:46 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-04-08 14:12:46 | × | dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-04-08 14:14:14 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2021-04-08 14:15:22 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-08 14:16:10 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-08 14:16:46 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-08 14:18:50 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 2021-04-08 14:20:13 | × | no_cluez quits (~no_cluez@185.204.1.185) (Remote host closed the connection) |
| 2021-04-08 14:20:38 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-08 14:21:09 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-08 14:21:37 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 268 seconds) |
| 2021-04-08 14:22:29 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-08 14:22:53 | × | royal_screwup217 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-08 14:22:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-08 14:23:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 14:26:47 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-08 14:26:47 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-08 14:27:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-08 14:28:56 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-08 14:32:44 | → | typetetris joins (uid275937@gateway/web/irccloud.com/x-mjjfisuvtdksxyob) |
| 2021-04-08 14:34:30 | → | ubert joins (~Thunderbi@178.165.129.20.wireless.dyn.drei.com) |
| 2021-04-08 14:35:53 | → | dscho joins (~dscho@178.239.168.171) |
| 2021-04-08 14:36:29 | × | gproto023 quits (~gproto23@unaffiliated/gproto23) (Quit: Leaving) |
| 2021-04-08 14:36:46 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 2021-04-08 14:37:23 | → | curlybangs joins (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) |
| 2021-04-08 14:38:13 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-08 14:38:38 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-08 14:40:58 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-04-08 14:41:11 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 14:42:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-08 14:44:55 | <ixlun> | Hi all, just wondered if anyone knows when GHC 8.10.5 is scheduled for release? |
| 2021-04-08 14:45:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-08 14:45:58 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-04-08 14:48:23 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-08 14:51:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7dc6:188c:92ae:13ed) |
| 2021-04-08 14:52:06 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-08 14:52:26 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-08 14:52:35 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-08 14:53:29 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-08 14:53:52 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 14:53:52 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-08 14:54:53 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-08 14:54:57 | × | Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 246 seconds) |
| 2021-04-08 14:56:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7dc6:188c:92ae:13ed) (Client Quit) |
| 2021-04-08 14:56:41 | → | Guest_22 joins (54811c09@p54811c09.dip0.t-ipconnect.de) |
| 2021-04-08 14:58:16 | × | Guest_22 quits (54811c09@p54811c09.dip0.t-ipconnect.de) (Client Quit) |
| 2021-04-08 14:58:34 | → | ulidtko|k joins (~ulidtko@194.54.80.38) |
| 2021-04-08 14:58:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-04-08 14:58:59 | → | Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578) |
| 2021-04-08 15:00:08 | <nut> | does <1,2,3> denote a vector? |
| 2021-04-08 15:00:18 | <nut> | like [1,2,3] a list |
| 2021-04-08 15:01:07 | × | ulidtko quits (~ulidtko@31.133.98.215) (Ping timeout: 248 seconds) |
| 2021-04-08 15:01:12 | <c_wraith> | It denotes a syntax error in Haskell |
| 2021-04-08 15:01:23 | <c_wraith> | If you're seeing it used in a text, it's a meta-symbol |
| 2021-04-08 15:01:45 | <nut> | I am seeing it in the vector haddock |
| 2021-04-08 15:01:48 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-08 15:02:18 | <nut> | It would be wonderfuly useful if i could use it to easily denote a vector |
| 2021-04-08 15:03:32 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-08 15:04:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-08 15:05:23 | × | xff0x quits (~xff0x@2001:1a81:52e8:b700:3ebf:a81d:5544:d0a) (Ping timeout: 248 seconds) |
| 2021-04-08 15:06:10 | → | xff0x joins (~xff0x@2001:1a81:52e8:b700:3001:b2c:785c:def8) |
| 2021-04-08 15:08:04 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-08 15:08:08 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-08 15:08:15 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-bnpgsrhcqvxsgdns) |
| 2021-04-08 15:11:05 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-08 15:13:08 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-08 15:13:31 | fendor_ | is now known as fendor |
| 2021-04-08 15:14:13 | <fendor> | Are there any other common command line interface parsers except for optparse-applicative? Just out of curiosity |
| 2021-04-08 15:14:43 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-08 15:17:10 | <maerwald> | yeah |
| 2021-04-08 15:17:28 | <maerwald> | https://hackage.haskell.org/package/cmdargs |
| 2021-04-08 15:17:54 | <maerwald> | sm[m] likes it, never used it myself |
| 2021-04-08 15:17:57 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-08 15:18:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-08 15:18:17 | arianvp_ | is now known as arianvp |
| 2021-04-08 15:18:46 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-08 15:19:52 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-08 15:20:12 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-08 15:20:30 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-04-08 15:20:30 | <fendor> | thanks! |
| 2021-04-08 15:20:50 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-08 15:25:07 | → | kadobanana joins (~mud@unaffiliated/kadoban) |
| 2021-04-08 15:25:13 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2021-04-08 15:26:06 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-08 15:26:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-08 15:26:53 | × | wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 265 seconds) |
| 2021-04-08 15:27:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-08 15:27:51 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-08 15:29:03 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-08 15:29:43 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-08 15:30:59 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 248 seconds) |
| 2021-04-08 15:31:00 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-04-08 15:31:07 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 15:31:18 | <cub3s_> | Should library-only packages have nix-build ability? |
| 2021-04-08 15:31:28 | <cub3s_> | (Just wondering if that's just for packages with executables.) |
| 2021-04-08 15:33:11 | <maerwald> | cub3s_: there are tools to generate nix expressions, no? Just let ppl use those? |
All times are in UTC.