Logs: liberachat/#haskell
| 2021-08-22 23:24:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-22 23:28:20 | × | V quits (~v@anomalous.eu) (Ping timeout: 256 seconds) |
| 2021-08-22 23:29:37 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2021-08-22 23:33:43 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) |
| 2021-08-22 23:35:40 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Ping timeout: 250 seconds) |
| 2021-08-22 23:36:08 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-22 23:37:51 | <koz> | hpc: What would be a good fixity for (-/)? |
| 2021-08-22 23:38:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) (Ping timeout: 240 seconds) |
| 2021-08-22 23:39:48 | <hpc> | hmm |
| 2021-08-22 23:41:16 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-22 23:41:55 | → | Topsi joins (~Tobias@dyndsl-095-033-019-235.ewe-ip-backbone.de) |
| 2021-08-22 23:41:56 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-22 23:42:32 | <hpc> | (a -/ b -/ c) is definitely (a -/ (b -/ c)) imo |
| 2021-08-22 23:42:49 | <koz> | So that's... infixr? |
| 2021-08-22 23:43:20 | ← | euouae parts (~euouae@user/euouae) () |
| 2021-08-22 23:43:53 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-08-22 23:44:18 | <hpc> | it's tempting to make it the same as (**) |
| 2021-08-22 23:44:30 | <koz> | That would make sense. |
| 2021-08-22 23:44:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 240 seconds) |
| 2021-08-22 23:44:43 | <hpc> | infixr 8 ** |
| 2021-08-22 23:44:47 | <hpc> | so maybe that? |
| 2021-08-22 23:44:59 | → | dajoer joins (~david@user/gvx) |
| 2021-08-22 23:45:00 | <koz> | Yeah, seems like a reasonable choice. |
| 2021-08-22 23:45:01 | <koz> | Thanks! |
| 2021-08-22 23:51:38 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-22 23:54:25 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-08-22 23:56:02 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-22 23:56:28 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-23 00:00:16 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:01:34 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-23 00:02:06 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:02:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 00:05:03 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-23 00:05:16 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:06:34 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-23 00:07:06 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:11:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 240 seconds) |
| 2021-08-23 00:16:00 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:26:27 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-23 00:27:04 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:28:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-23 00:28:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-23 00:28:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-23 00:31:10 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 240 seconds) |
| 2021-08-23 00:32:52 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-23 00:33:01 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-23 00:33:27 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 00:34:01 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-08-23 00:35:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-23 00:35:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-23 00:35:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-23 00:36:00 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-23 00:36:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-23 00:37:21 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-23 00:39:00 | → | thornAvery joins (~thorn@137.147.64.16) |
| 2021-08-23 00:39:20 | <thornAvery> | whats the best way to get a version number for a --version flag+ |
| 2021-08-23 00:41:03 | <Axma47030> | In the past I have used https://hackage.haskell.org/package/configuration-tools which provides a few really nice things by default - version of the app and all its libraries and their licences |
| 2021-08-23 00:41:19 | <Axma47030> | licenses* |
| 2021-08-23 00:41:27 | Axma47030 | is now known as Axman6 |
| 2021-08-23 00:41:32 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 250 seconds) |
| 2021-08-23 00:42:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-23 00:43:08 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-23 00:48:33 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2021-08-23 00:56:36 | → | ikex1 joins (ash@user/ikex) |
| 2021-08-23 00:57:07 | × | ikex quits (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-08-23 00:57:22 | ikex1 | is now known as ikex |
| 2021-08-23 00:58:08 | → | meinside_ joins (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-08-23 00:58:33 | <thornAvery> | Axman6: thanks ill have a look at it |
| 2021-08-23 01:11:19 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-23 01:12:25 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-23 01:16:12 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 01:16:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-23 01:16:14 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-23 01:16:17 | allbery_b | is now known as geekosaur |
| 2021-08-23 01:17:35 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-23 01:18:22 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 01:21:15 | × | abrantesasf quits (~abrantesa@2804:14d:b086:4b3c:2e56:dcff:fedb:62f) (Quit: Leaving) |
| 2021-08-23 01:22:46 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 258 seconds) |
| 2021-08-23 01:25:49 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-23 01:29:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-23 01:32:57 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
| 2021-08-23 01:33:06 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 01:35:00 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) |
| 2021-08-23 01:37:08 | → | kimjetwav joins (~user@2607:fea8:235f:9730:b47e:9266:a80c:4549) |
| 2021-08-23 01:39:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) (Ping timeout: 250 seconds) |
| 2021-08-23 01:43:40 | × | xff0x quits (~xff0x@2001:1a81:52ba:f800:f347:6f1f:6209:b9ad) (Ping timeout: 240 seconds) |
| 2021-08-23 01:45:41 | → | xff0x joins (~xff0x@2001:1a81:52f9:3300:ba09:60b5:ba3:60da) |
| 2021-08-23 01:48:05 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
| 2021-08-23 01:48:12 | → | Kaipi joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 01:49:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6515:9257:f76:9654) |
| 2021-08-23 01:51:51 | × | Kaipi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
| 2021-08-23 01:51:54 | → | Merfont joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 01:54:29 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-23 01:54:49 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 256 seconds) |
| 2021-08-23 01:56:56 | × | Merfont quits (~Kaiepi@156.34.44.192) (Ping timeout: 250 seconds) |
| 2021-08-23 01:58:33 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 02:03:00 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 250 seconds) |
| 2021-08-23 02:08:41 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-23 02:12:15 | → | Kaipi joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 02:12:20 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
All times are in UTC.