2024-10-23 00:00:24 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 246 seconds) |
2024-10-23 00:00:43 +0200 | spew | (~spew@189.217.198.185) (Quit: spew) |
2024-10-23 00:00:45 +0200 | <geekosaur> | I know `bracket` and friends don't work, but I think the lower level catchers do |
2024-10-23 00:00:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:01:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-23 00:07:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 00:07:43 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:08:57 +0200 | alphabeta | (~kilolympu@2a04:ee41:4:32b3:7874:16a1:451a:baf) (Ping timeout: 265 seconds) |
2024-10-23 00:12:31 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
2024-10-23 00:12:35 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 255 seconds) |
2024-10-23 00:12:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-23 00:13:41 +0200 | madjestic | (~madjestic@103-135-99-95.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
2024-10-23 00:17:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-10-23 00:18:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:19:32 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:22:26 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) |
2024-10-23 00:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 00:24:25 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 265 seconds) |
2024-10-23 00:27:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-23 00:29:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-23 00:30:42 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:33:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-23 00:34:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:36:06 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
2024-10-23 00:36:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2024-10-23 00:36:28 +0200 | ljdarj1 | ljdarj |
2024-10-23 00:38:16 +0200 | Everything | (~Everythin@178-133-44-99.mobile.vf-ua.net) (Quit: leaving) |
2024-10-23 00:38:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-23 00:39:00 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 244 seconds) |
2024-10-23 00:39:09 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
2024-10-23 00:40:04 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) vglfr |
2024-10-23 00:47:03 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:48:37 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 00:48:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
2024-10-23 00:49:08 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 00:49:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:50:29 +0200 | GalaxyNova | (~andrei@user/galaxynova) (Ping timeout: 248 seconds) |
2024-10-23 00:51:00 +0200 | araujo | (~araujo@45.131.194.239) araujo |
2024-10-23 00:54:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 00:55:49 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 00:56:09 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) (Ping timeout: 260 seconds) |
2024-10-23 00:56:21 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 00:56:50 +0200 | araujo | (~araujo@45.131.194.239) (Ping timeout: 252 seconds) |
2024-10-23 00:56:53 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) vglfr |
2024-10-23 00:58:44 +0200 | araujo | (~araujo@216.73.163.122) |
2024-10-23 01:00:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-1155-6cdb-16b4-021a.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 01:01:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-23 01:03:50 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-23 01:04:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:08:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 01:09:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 01:09:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2024-10-23 01:20:03 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) (Quit: Leaving) |
2024-10-23 01:20:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:25:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 01:28:17 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) (Read error: Connection reset by peer) |
2024-10-23 01:35:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:35:54 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-23 01:42:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb008c3c228b89ffac09.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-10-23 01:42:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 01:50:39 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-23 01:53:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:58:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-23 01:58:57 +0200 | poscat | (~poscat@user/poscat) poscat |
2024-10-23 01:59:09 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2024-10-23 01:59:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-10-23 02:05:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-23 02:07:03 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) TonyStone |
2024-10-23 02:07:32 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
2024-10-23 02:09:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:13:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-23 02:19:22 +0200 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
2024-10-23 02:21:44 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 255 seconds) |
2024-10-23 02:22:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-10-23 02:24:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:29:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 02:34:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:61f:49ca:1cad:ed6) (Ping timeout: 265 seconds) |
2024-10-23 02:35:43 +0200 | airscape | (~airscape@2.219.56.221) (Quit: Connection error?!) |
2024-10-23 02:37:37 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2024-10-23 02:37:50 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
2024-10-23 02:40:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:45:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-23 02:47:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-10-23 02:55:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:57:43 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-10-23 03:00:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 03:00:22 +0200 | nitrix-or-treat | nitrix-or-treats |
2024-10-23 03:09:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-10-23 03:10:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:17:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-23 03:19:11 +0200 | Square | (~Square@user/square) Square |
2024-10-23 03:22:09 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
2024-10-23 03:24:21 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2024-10-23 03:26:12 +0200 | yin | (~z@user/zero) (Ping timeout: 246 seconds) |
2024-10-23 03:26:23 +0200 | zero | (~z@user/zero) zero |
2024-10-23 03:28:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:32:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-23 03:32:21 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-23 03:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-23 03:33:43 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2024-10-23 03:34:47 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-23 03:44:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:47:51 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2024-10-23 03:48:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 03:59:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:04:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 04:08:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 04:11:27 +0200 | jove_ | (~quassel@user/jove) (Ping timeout: 252 seconds) |
2024-10-23 04:13:51 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
2024-10-23 04:14:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:16:20 +0200 | <dontdieych2> | Looking for something like ghci prompt theme. Prefer colorful and informative one. https://github.com/IlanCosman/tide/blob/assets/images/flexible.png |
2024-10-23 04:16:28 +0200 | <dontdieych2> | Thanks for any sharing |
2024-10-23 04:19:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-23 04:19:44 +0200 | <Axman6> | Have you looked at https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:set%20prompt? |
2024-10-23 04:23:12 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-23 04:29:08 +0200 | <Axman6> | Looks like :set prompt-function is particularly useful |
2024-10-23 04:29:26 +0200 | <geekosaur> | I think they're looking for themes others have come up with, as opposed to how to write one from scratch? |
2024-10-23 04:30:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:32:12 +0200 | jove | (~quassel@user/jove) jove |
2024-10-23 04:32:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-10-23 04:33:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 04:35:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 04:40:52 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
2024-10-23 04:42:41 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
2024-10-23 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:52:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 05:02:46 +0200 | rosco | (~rosco@60.53.7.10) rosco |
2024-10-23 05:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:08:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 05:15:17 +0200 | <Axman6> | I assume so too, but I've never seen anyone do anything more fancy than changing the prompt to a lambda and removing the loaded modules |
2024-10-23 05:18:53 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
2024-10-23 05:19:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:21:10 +0200 | <Axman6> | Knowing a thing or two about terminal colours would let you make pretty themes |
2024-10-23 05:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 05:27:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-23 05:33:01 +0200 | <geekosaur> | I've seen a few, but yeh what you mention is most common ime |
2024-10-23 05:34:21 +0200 | <geekosaur> | I personally don't spend enough time in ghci to care; I just pop in to test something and then exit. (largely because it's usually `cabal repl` instead of raw ghci, in a project or with specific dependencies in scope) |
2024-10-23 05:34:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:39:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 05:49:53 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
2024-10-23 05:49:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:52:29 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
2024-10-23 05:54:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-23 05:57:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:59:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-10-23 06:04:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 06:05:11 +0200 | <dontdieych2> | Axman6: geekosau: ok, should go for lambda mark. cannot find premade theme things. |
2024-10-23 06:06:12 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection) |
2024-10-23 06:08:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 06:12:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-23 06:23:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 06:24:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
2024-10-23 06:26:26 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection) |