mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 23:24:35 +00:00
ba6f0e8f03
agda: fix code snippet for installing Agda |
||
---|---|---|
.. | ||
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 |