Newest at the top
2025-03-28 13:10:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-28 13:04:31 +0100 | fp | (~Thunderbi@130.233.70.95) fp |
2025-03-28 13:03:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-28 13:03:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-28 13:00:52 +0100 | <tomsmeding> | Liamzee: in other words, that `lseq` is actually doing something, see its definition and the Consumable class |
2025-03-28 12:59:56 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
2025-03-28 12:59:04 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
2025-03-28 12:58:00 +0100 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
2025-03-28 12:57:35 +0100 | tremon | (~tremon@83.80.159.219) tremon |
2025-03-28 12:57:24 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-28 12:57:13 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 265 seconds) |
2025-03-28 12:39:18 +0100 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
2025-03-28 12:38:07 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-28 12:37:36 +0100 | <haskellbridge> | <jv> under a different nick though |
2025-03-28 12:36:55 +0100 | <jackdk> | Because if you have [a] %1 -> b, then you need to do away with the entire list, not just the prefix that you take |
2025-03-28 12:36:54 +0100 | <haskellbridge> | <jv> or so |
2025-03-28 12:36:37 +0100 | <haskellbridge> | <jv> Liamzee: i remember having it done beautifully on this channel (or maybe #haskell-beginners). should be in the logs from about 6 years ago |
2025-03-28 12:27:44 +0100 | ash3en | (~Thunderbi@185.209.196.192) (Ping timeout: 265 seconds) |
2025-03-28 12:26:49 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f71c835c1b6e3010b6c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-28 12:20:50 +0100 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:7d86:d0e8:c2d1:2ee3) ubert |
2025-03-28 12:20:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-03-28 12:18:08 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
2025-03-28 12:15:01 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::6f7f) (Ping timeout: 248 seconds) |
2025-03-28 12:00:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-28 11:56:45 +0100 | ash3en | (~Thunderbi@185.209.196.192) ash3en |
2025-03-28 11:53:55 +0100 | <haskellbridge> | <Liamzee> look at the take function, why is it like this? |
2025-03-28 11:53:51 +0100 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Data.List.Linear.html#take |
2025-03-28 11:53:49 +0100 | <haskellbridge> | <Liamzee> wait, what? |
2025-03-28 11:49:49 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-03-28 11:42:18 +0100 | ash3en | (~Thunderbi@185.209.196.192) (Ping timeout: 265 seconds) |
2025-03-28 11:31:25 +0100 | <haskellbridge> | <Morj> But this was fun, thanks to someone from here for telling me of this format |
2025-03-28 11:31:07 +0100 | <haskellbridge> | <Morj> I also wouldn't call it good for hyperlinked manuals: the dichotomy how there is a node hierarchy, and a chapter-subchapter hierarchy is weird, plus there isn't even an option to make the table of contents automatically |
2025-03-28 11:29:33 +0100 | <haskellbridge> | <Morj> It's fun to see how much importance the creators of texinfo placed on the printed material, compared to now where I want options for easier hierarchy (like a module has classes, classes have functions and implementors, all hyperlinked). This forced me to use '@node' everywhere which inserts a page break |
2025-03-28 11:28:12 +0100 | <haskellbridge> | <Morj> I've been playing around with using texinfo as a target for structured docs of haddock and other tools. Here's the unstyled result: https://morj.men/ron_html/Quick-start.html and the hackage page for comparison: https://hackage.haskell.org/package/ron-hs-0.4.0/docs/Data-Ron.html |
2025-03-28 11:27:20 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2025-03-28 11:26:18 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2025-03-28 11:25:42 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-03-28 11:21:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-28 11:17:15 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:cbb4:807:319f:c7af) dhil |
2025-03-28 11:06:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-28 11:04:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2025-03-28 11:01:08 +0100 | Square | (~Square@user/square) Square |
2025-03-28 10:59:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-28 10:58:42 +0100 | wildsalander | (~wildsalan@47.red-80-29-238.dynamicip.rima-tde.net) (Client Quit) |
2025-03-28 10:58:17 +0100 | wildsalander | (~wildsalan@47.red-80-29-238.dynamicip.rima-tde.net) |
2025-03-28 10:57:12 +0100 | Googulator | (~Googulato@81.183.235.203) |
2025-03-28 10:56:54 +0100 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-03-28 10:56:46 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-28 10:55:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
2025-03-28 10:54:41 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |