| 11 Oct 2023 |
 asymmetric | note that an alternative approach is literate programming, e.g. org-mode + babel. in org-mode you can easily link to other notes (or specific sections of notes). | 10:48:18 |
| asymmetric | is anyone actively working on documenting the module system? I know about existing efforts, and i vaguely remember proofconstruction working on this, but what's the current status?
i'd be interested in taking on some of this work.
| 10:49:25 |
|  Teo (he/him) changed their display name from Teo (he/they) to teo (they/he). | 15:54:50 |
| 12 Oct 2023 |
 proofconstruction | In reply to @asymmetric:matrix.dapp.org.uk
is anyone actively working on documenting the module system? I know about existing efforts, and i vaguely remember proofconstruction working on this, but what's the current status?
i'd be interested in taking on some of this work.
infinisil dumped notes and git commits https://github.com/NixOS/nix.dev/pull/645 from a previous summer of nix presentation, which i've massaged into something tutorial-like https://github.com/NixOS/nix.dev/pull/730. i've just completed a big move and started a new gig, so very scattered (more than usual for me!) currently, but somewhere i have notes towards a much shorter introduction (silvan's presentation became like 1200 lines of tutorial, way too big for a single page) | 04:07:21 |
|  chreekat changed their display name from chreekat to chreekat (afk, sick). | 08:03:25 |
 fricklerhandwerk | In reply to @asymmetric:matrix.dapp.org.uk
is anyone actively working on documenting the module system? I know about existing efforts, and i vaguely remember proofconstruction working on this, but what's the current status?
i'd be interested in taking on some of this work.
There are 1-2 open PRs to the Nixpkgs manual by Robert Hensing (roberth) | 08:20:23 |
| asymmetric | Yep, I think I know of them thanks to your post which gathers them all. I was more asking if there’s any concerted effort to get this all merged. If not I’d like to take this on, and could of course use some help from people who have put effort in it so far | 09:10:31 |
