3 Commits

Author	SHA1	Message	Date
Mathew Polzin	ce58e0643b	doc: idris2 section	2024-01-15 18:19:53 -06:00
Tom McLaughlin	c8f0d302c1	julia: add documentation to manual + release note	2023-12-14 23:00:35 -08:00
pennae	be4d19ff1a	doc: render nixpkgs manual with nrd ... also updates nixdoc to 2.3.0. the nixdoc update is not a separate commit because that would leave the manual build broken for one commit, potentially breaking bisects and rebases.	2023-07-01 20:59:29 +02:00