Newest at the top
| 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 |
| 2025-03-28 10:53:48 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-28 10:53:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-28 10:53:25 +0100 | arahael | (~arahael@user/arahael) (Ping timeout: 248 seconds) |
| 2025-03-28 10:48:39 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-28 10:48:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-28 10:44:54 +0100 | alp | (~alp@2001:861:8ca0:4940:97d8:ee2c:4105:6ce6) |
| 2025-03-28 10:44:25 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-28 10:43:41 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-28 10:38:27 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-28 10:31:59 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-28 10:28:51 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-03-28 10:28:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-28 10:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-03-28 10:27:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6095:11f3:6fa5:fb3d) |
| 2025-03-28 10:25:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 10:25:29 +0100 | Googulator | (~Googulato@81.183.235.203) |
| 2025-03-28 10:25:16 +0100 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-03-28 10:25:05 +0100 | fp | (~Thunderbi@130.233.70.95) fp |
| 2025-03-28 10:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-28 10:18:43 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-28 10:18:14 +0100 | Googulator | (~Googulato@81.183.235.203) |
| 2025-03-28 10:17:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-03-28 10:15:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 10:12:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-28 10:11:08 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 10:10:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-28 10:10:15 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-28 10:07:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |