Newest at the top
| 2026-05-22 12:44:13 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-22 12:41:46 +0000 | <yin> | isn't there a simple, idiomatic way of adding 2 Word8s while avoiding overflow? |
| 2026-05-22 12:40:58 +0000 | kimiamania408 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-05-22 12:36:31 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-22 12:33:03 +0000 | <jaror> | Do you want to have it desugared? |
| 2026-05-22 12:32:54 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-05-22 12:32:50 +0000 | <jaror> | You can try bolting something onto MicroHS |
| 2026-05-22 12:32:00 +0000 | <gentauro> | is there a "Haskell to LC De Bruijn indexes" tool? |
| 2026-05-22 12:29:53 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-05-22 12:29:41 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-05-22 12:26:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-05-22 12:24:30 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-22 12:23:06 +0000 | CiaoSen | (~Jura@dynamic-046-114-105-061.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-22 12:22:26 +0000 | CiaoSen | (~Jura@dynamic-046-114-105-061.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2026-05-22 12:19:53 +0000 | xff0x | (~xff0x@ai070051.d.east.v6connect.net) |
| 2026-05-22 12:19:18 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-05-22 12:15:47 +0000 | CiaoSen | (~Jura@dynamic-046-114-105-061.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-22 12:14:40 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-22 11:57:00 +0000 | leppard | Inline |
| 2026-05-22 11:54:07 +0000 | <mesaoptimizer> | https://summerofcode.withgoogle.com/programs/2026/organizations/haskellorg lists all the proposed GSoC Haskell projects |
| 2026-05-22 11:52:35 +0000 | <mesaoptimizer> | and of course, Common Lisp and Emacs Lisp, but they don't need LSPs |
| 2026-05-22 11:51:55 +0000 | <mesaoptimizer> | Rust's LSP already supports arbitrary "goto definition", and so does that of Python, IIRC |
| 2026-05-22 11:51:50 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-22 11:51:05 +0000 | <mesaoptimizer> | if the intention is to also support "goto definition" for the GHC and base modules then it is possibly extremely valuable |
| 2026-05-22 11:50:13 +0000 | <mesaoptimizer> | files generated by GHC and indexed via HieDb." https://summerofcode.withgoogle.com/programs/2026/projects/WKEV8qIK I wonder if this will support Prelude |
| 2026-05-22 11:50:11 +0000 | <mesaoptimizer> | "Haskell Language Server (HLS) currently supports Goto Definition only for symbols defined within a user’s project, making it difficult to inspect implementations of functions imported from external dependencies. This project extends that functionality to third-party libraries by enabling developers to navigate directly to dependency source code from within their IDE. The solution leverages .hie |
| 2026-05-22 11:41:48 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-22 11:41:48 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-22 11:41:47 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-22 11:40:58 +0000 | FANTOM | (~fantom@212.228.182.72) |
| 2026-05-22 11:39:54 +0000 | FANTOM | (~fantom@212.228.182.72) (Ping timeout: 265 seconds) |
| 2026-05-22 11:37:46 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-05-22 11:36:38 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-22 11:36:04 +0000 | Ankhers_ | Ankhers |
| 2026-05-22 11:35:39 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-05-22 11:35:34 +0000 | olivial_ | (~benjaminl@2601:1c0:8100:ae80:f13:c77a:da00:42c9) |
| 2026-05-22 11:35:33 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-22 11:35:32 +0000 | sherbert_ | sherbert |
| 2026-05-22 11:35:27 +0000 | Fischmie- | (~Fischmiep@user/Fischmiep) (Max SendQ exceeded) |
| 2026-05-22 11:35:27 +0000 | ryou | (~haze@user/ryou) (Max SendQ exceeded) |
| 2026-05-22 11:35:26 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Max SendQ exceeded) |
| 2026-05-22 11:35:26 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) (Max SendQ exceeded) |
| 2026-05-22 11:35:26 +0000 | olivial | (~benjaminl@user/benjaminl) (Max SendQ exceeded) |
| 2026-05-22 11:35:24 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2026-05-22 11:35:15 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-22 11:35:13 +0000 | Ankhers_ | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2026-05-22 11:35:13 +0000 | sherbert_ | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2026-05-22 11:35:06 +0000 | mercury.libera.chat | +v lambdabot |
| 2026-05-22 11:35:06 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff |
| 2026-05-22 11:35:06 +0000 | Fischmie- | (~Fischmiep@user/Fischmiep) Fischmiep |