Newest at the top
| 2025-09-28 18:29:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-28 18:29:40 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-28 18:24:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:23:57 +0200 | <__monty__> | Some other editors also do. |
| 2025-09-28 18:23:40 +0200 | <slondr> | Ohh I see, it's similar to prettify-symbols-mode |
| 2025-09-28 18:23:22 +0200 | <slondr> | oh it's a vim thing? |
| 2025-09-28 18:22:28 +0200 | <__monty__> | slondr: `:h conceal` in Vim. |
| 2025-09-28 18:17:34 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 18:16:57 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-28 18:13:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 18:12:27 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 18:11:48 +0200 | <int-e> | x `elem` xs is reminiscent of x ∊ X in set theory |
| 2025-09-28 18:11:01 +0200 | <slondr> | What are conceals? |
| 2025-09-28 18:10:50 +0200 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 18:10:45 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 18:10:19 +0200 | <__monty__> | Developer's personal opinion? |
| 2025-09-28 18:10:08 +0200 | <__monty__> | Makes the argument order more intuitive? |
| 2025-09-28 18:09:54 +0200 | <__monty__> | Looks nice if you use conceals? |
| 2025-09-28 18:08:43 +0200 | <slondr> | why do haskell linters suggest calling 'elem' as infix instead of prefix? I haven't seen this suggestion for other functions but I'm getting it for 'elem' |
| 2025-09-28 18:08:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:08:06 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 18:07:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-28 18:05:23 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 18:02:32 +0200 | Square | (~Square@user/square) Square |
| 2025-09-28 18:02:09 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 17:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 17:56:03 +0200 | ljdarj1 | ljdarj |
| 2025-09-28 17:56:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 17:53:22 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 17:52:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 17:40:45 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:40:40 +0200 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:39:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-28 17:37:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:37:39 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 17:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:35:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 17:32:37 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 17:28:43 +0200 | bgg | (~bgg@2a01:e0a:819:1510:ce70:2793:3b21:6fbd) |
| 2025-09-28 17:25:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 17:17:02 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-28 17:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:15:44 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:15:44 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:13:58 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 17:12:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:10:12 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:09:56 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-28 17:08:05 +0200 | Vajb | (~Vajb@85-76-14-9-nat.elisa-mobile.fi) |