Merge pull request #4900 from vanillajonathan/patch-1

Add hyphen
idris-lang · Oct 22, 2021 · 13cdb16 · 13cdb16
2 parents 9f5ceb7 + 0f5533e
commit 13cdb16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/faq/faq.rst b/docs/faq/faq.rst
@@ -10,7 +10,7 @@ dependent pattern matching. Both can be used for writing programs and proofs.
 However, Idris has been designed from the start to emphasise general purpose
 programming rather than theorem proving. As such, it supports interoperability
 with systems libraries and C programs, and language constructs for
-domain specific language implementation. It also includes higher level
+domain-specific language implementation. It also includes higher level
 programming constructs such as interfaces (similar to type classes) and do notation.
 
 Idris supports multiple back ends (C and JavaScript by default, with the