diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2021-02-03 15:55:37 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-03 15:55:37 -0300 |
commit | a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c (patch) | |
tree | abdeb578abbfa034a439a489ba3f4b9774bcd2ff /doc/languages-frameworks | |
parent | ca447081a843addc24981a8b8e3fbd4e09adeaf4 (diff) | |
parent | 67e43b7453ec197e5045f64dc630b57a3160038f (diff) | |
download | nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.gz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.bz2 nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.lz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.xz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.zst nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.zip |
Merge pull request #110501 from neosimsim/agda-ghc-ieee754
agda.withPackages: use GHC with ieee754 as default
Diffstat (limited to 'doc/languages-frameworks')
-rw-r--r-- | doc/languages-frameworks/agda.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index 66b4a208302..f57b194a726 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -46,7 +46,7 @@ depend: standard-library More information can be found in the [official Agda documentation on library management](https://agda.readthedocs.io/en/v2.6.1/tools/package-system.html). ## Compiling Agda -Agda modules can be compiled with the `--compile` flag. A version of `ghc` with `ieee` is made available to the Agda program via the `--with-compiler` flag. +Agda modules can be compiled with the `--compile` flag. A version of `ghc` with `ieee754` is made available to the Agda program via the `--with-compiler` flag. This can be overridden by a different version of `ghc` as follows: ``` |