diff options
Diffstat (limited to 'nixpkgs/doc/languages-frameworks/idris.section.md')
-rw-r--r-- | nixpkgs/doc/languages-frameworks/idris.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/doc/languages-frameworks/idris.section.md b/nixpkgs/doc/languages-frameworks/idris.section.md index f071b9ce1785..2d06c4a19de5 100644 --- a/nixpkgs/doc/languages-frameworks/idris.section.md +++ b/nixpkgs/doc/languages-frameworks/idris.section.md @@ -1,4 +1,4 @@ -# Idris +# Idris {#idris} ## Installing Idris |