Logs: liberachat/#haskell
| 2021-08-18 09:00:27 | <defanor> | I keep thinking of packaging everything into .deb and running an apt repository that way, to reuse a single package manager for everything (reducing the possibility of version mismatches, setting external dependencies from system repositories, etc). But will probably look into that later, just manual building for now. |
| 2021-08-18 09:08:45 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-08-18 09:20:27 | <defanor> | Tried to build with a cabal.project, seems to work for me. The packages live in a single repository (subdirectories), so have put cabal.project into its root. |
| 2021-08-18 09:21:17 | <merijn> | defanor: That's pretty much the intended use of cabal.project, yes :) |
| 2021-08-18 09:22:03 | <merijn> | defanor: Note that you can specify local overrides for it in cabal.project.local (the idea being you can commit cabal.project to the repo for everyone working on it and .local has whatever tweaks specific to what you're doing) |
| 2021-08-18 09:23:08 | → | Axma70428 joins (~Axman6@user/axman6) |
| 2021-08-18 09:24:41 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 256 seconds) |
| 2021-08-18 09:25:07 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 245 seconds) |
| 2021-08-18 09:27:10 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 2021-08-18 09:27:41 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-08-18 09:29:28 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-08-18 09:39:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-18 09:39:08 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-18 09:43:38 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-18 09:50:10 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-18 09:53:01 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
| 2021-08-18 09:54:42 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-18 09:56:29 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-18 09:56:42 | → | ikex1 joins (~ash@user/ikex) |
| 2021-08-18 09:56:55 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-18 09:58:15 | × | ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-08-18 09:58:16 | ikex1 | is now known as ikex |
| 2021-08-18 10:01:39 | × | dschrempf quits (~dominik@2a01-036d-0118-a2d1-3c86-9363-4322-fee7.pool6.digikabel.hu) (Ping timeout: 258 seconds) |
| 2021-08-18 10:01:47 | × | tinwood quits (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2021-08-18 10:02:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-18 10:03:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:04:49 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-08-18 10:04:49 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-08-18 10:04:49 | → | tinwood joins (~tinwood@canonical/tinwood) |
| 2021-08-18 10:05:14 | × | lortabac quits (~lortabac@151.73.97.57) (Quit: WeeChat 2.8) |
| 2021-08-18 10:09:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-18 10:09:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:11:45 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 2021-08-18 10:13:03 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-18 10:13:20 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-18 10:14:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-18 10:15:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:16:59 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-18 10:20:13 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-18 10:20:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-18 10:21:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-18 10:21:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:21:58 | <albet70> | dibblego, is there a limit days for banned user or permanent? |
| 2021-08-18 10:22:27 | <[exa]> | albet70: there's another channel for that, see topic |
| 2021-08-18 10:22:51 | <albet70> | oh, I see, sorry |
| 2021-08-18 10:25:55 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-08-18 10:26:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-18 10:27:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:28:20 | → | polyphem joins (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) |
| 2021-08-18 10:29:10 | → | kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-08-18 10:30:14 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-18 10:33:16 | ChanServ | sets mode +o dibblego |
| 2021-08-18 10:33:30 | dibblego | sets mode -b *!*@47.245.54.240 |
| 2021-08-18 10:33:31 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-18 10:33:44 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-18 10:33:46 | ChanServ | sets mode -o dibblego |
| 2021-08-18 10:34:49 | → | Guest372 joins (~xxx@47.245.54.240) |
| 2021-08-18 10:36:17 | × | chomwitt quits (~chomwitt@2a02:587:dc0c:e200:12c3:7bff:fe6d:d374) (Ping timeout: 245 seconds) |
| 2021-08-18 10:37:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-18 10:38:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:43:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-18 10:43:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 10:44:28 | × | fendor quits (~fendor@77.119.161.62.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-18 10:44:40 | → | acidjnk_new joins (~acidjnk@p200300d0c72b952850c7a959aba8feb6.dip0.t-ipconnect.de) |
| 2021-08-18 10:47:32 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b955250c7a959aba8feb6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-08-18 10:57:49 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-08-18 11:01:04 | → | alx741 joins (~alx741@181.196.68.125) |
| 2021-08-18 11:01:04 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-18 11:03:29 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-18 11:04:33 | × | ubert quits (~Thunderbi@91.141.56.213.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2021-08-18 11:05:25 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-18 11:06:26 | × | dsrt^ quits (~dsrt@209.65.131.194) (Ping timeout: 258 seconds) |
| 2021-08-18 11:08:24 | → | chomwitt joins (~chomwitt@ppp-94-67-193-240.home.otenet.gr) |
| 2021-08-18 11:08:54 | → | AlexNoo_ joins (~AlexNoo@94.233.241.41) |
| 2021-08-18 11:12:52 | × | AlexZenon quits (~alzenon@94.233.240.231) (Ping timeout: 268 seconds) |
| 2021-08-18 11:12:52 | × | Alex_test quits (~al_test@94.233.240.231) (Ping timeout: 268 seconds) |
| 2021-08-18 11:12:52 | × | AlexNoo quits (~AlexNoo@94.233.240.231) (Ping timeout: 268 seconds) |
| 2021-08-18 11:16:24 | → | Alex_test joins (~al_test@94.233.241.41) |
| 2021-08-18 11:16:49 | → | AlexZenon joins (~alzenon@94.233.241.41) |
| 2021-08-18 11:22:22 | → | lortabac joins (~lortabac@151.73.97.57) |
| 2021-08-18 11:22:41 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 248 seconds) |
| 2021-08-18 11:25:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-18 11:27:23 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-08-18 11:29:59 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-18 11:35:21 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-08-18 11:36:21 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-18 11:37:59 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-08-18 11:42:11 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-18 11:43:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-18 11:43:51 | × | _\_ quits (~o@user/ding) (Quit: ___) |
| 2021-08-18 11:44:04 | → | _\_ joins (~o@user/ding) |
| 2021-08-18 11:44:06 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-18 11:46:17 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-18 11:47:59 | <Hecate> | am sad |
| 2021-08-18 11:48:04 | <Hecate> | I had a very nice usecase for Comonads |
| 2021-08-18 11:48:11 | <Hecate> | and turns out `getField` does the job |
| 2021-08-18 11:48:18 | <Hecate> | (with probably less overhead lol) |
| 2021-08-18 11:48:26 | → | aguapesada joins (~aguapesad@2804:14c:8793:8e2f:a406:863b:f810:2d4c) |
| 2021-08-18 11:49:23 | <hpc> | ah yes, truly your life is full of hardships :D |
| 2021-08-18 11:50:38 | <hpc> | i had something similar with Cont, until i realized something entirely different instead |
All times are in UTC.