diff options
| author | Janne Heß <janne@hess.ooo> | 2024-03-27 19:10:27 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2024-03-28 09:28:12 +0100 |
| commit | fcc95ff8172cc68a0d2d52aa1e8ef2120d2904ec (patch) | |
| tree | 8de1a02f7d1624c97562c7736896a6c95c74ec04 /doc/languages-frameworks/agda.section.md | |
| parent | bc77c7a9730833c7668c92288c6af950e7270cb5 (diff) | |
treewide: Fix all Nix ASTs in all markdown files
This allows for correct highlighting and maybe future automatic formatting. The AST was verified to work with nixfmt only.
Diffstat (limited to 'doc/languages-frameworks/agda.section.md')
| -rw-r--r-- | doc/languages-frameworks/agda.section.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index cb1f12eec234a..51ef40267ef48 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -114,7 +114,7 @@ This can be overridden by a different version of `ghc` as follows: ```nix agda.withPackages { - pkgs = [ ... ]; + pkgs = [ /* ... */ ]; ghc = haskell.compiler.ghcHEAD; } ``` @@ -180,6 +180,7 @@ To add an Agda package to `nixpkgs`, the derivation should be written to `pkgs/d ```nix { mkDerivation, standard-library, fetchFromGitHub }: +{} ``` Note that the derivation function is called with `mkDerivation` set to `agdaPackages.mkDerivation`, therefore you @@ -193,7 +194,7 @@ mkDerivation { version = "1.5.0"; pname = "iowa-stdlib"; - src = ... + src = "..."; libraryFile = ""; libraryName = "IAL-1.3"; |