idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 04:09:10 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3192 from foxyseta/patch-1

Browse Source 
fix: singing dragon link
This commit is contained in:
André Videla 2024-01-13 20:58:04 +00:00 committed by GitHub
commit 90bf2dec20
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/source/faq/faq.rst
View File

@ -337,8 +337,9 @@ What does the name “Idris” mean?
================================ ================================
British people of a certain age may be familiar with this British people of a certain age may be familiar with this
`singing dragon <https://www.youtube.com/watch?v=G5ZMNyscPcg>`_. If `singing dragon
that doesn’t help, maybe you can invent a suitable acronym :-) . <https://web.archive.org/web/20160531194307/https://www.youtube.com/watch?v=G5ZMNyscPcg>`_.
If that doesn’t help, maybe you can invent a suitable acronym :-) .
Where can I find the community standards for the Idris community? Where can I find the community standards for the Idris community?
================================================================== ==================================================================