ba6f0e8f03
agda: fix code snippet for installing Agda |
||
---|---|---|
.. | ||
builders | ||
contributing | ||
doc-support | ||
functions | ||
languages-frameworks | ||
old | ||
stdenv | ||
using | ||
.gitignore | ||
default.nix | ||
functions.xml | ||
Makefile | ||
manual.xml | ||
overrides.css | ||
preface.chapter.md | ||
README.md | ||
release-notes.xml | ||
shell.nix | ||
style.css |
Nixpkgs/doc
This directory houses the sources files for the Nixpkgs manual.
You can find the rendered documentation for Nixpkgs unstable
on nixos.org.
Docs for Nixpkgs stable are also available.
If you want to contribute to the documentation, here's how to do it.
If you're only getting started with Nix, go to nixos.org/learn.