a27a2c4b15
agda.withPackages: use GHC with ieee754 as default |
||
---|---|---|
.. | ||
agda.section.md | ||
android.section.md | ||
beam.section.md | ||
bower.section.md | ||
coq.section.md | ||
crystal.section.md | ||
dotnet.section.md | ||
emscripten.section.md | ||
gnome.section.md | ||
go.section.md | ||
haskell.section.md | ||
idris.section.md | ||
index.xml | ||
ios.section.md | ||
java.section.md | ||
lua.section.md | ||
maven.section.md | ||
node.section.md | ||
ocaml.section.md | ||
perl.section.md | ||
php.section.md | ||
python.section.md | ||
qt.section.md | ||
r.section.md | ||
ruby.section.md | ||
rust.section.md | ||
texlive.section.md | ||
titanium.section.md | ||
vim.section.md |