[ doc ] typo

agda · Oct 26, 2015 · 50e471b · 50e471b
1 parent aad4189
commit 50e471b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/user-manual/language/lexical-structure.rst b/doc/user-manual/language/lexical-structure.rst
@@ -18,7 +18,7 @@ Most non-whitespace unicode can be used as part of an Agda name, but there are
 two kinds of exceptions:
 
 special symbols
-  Characters with special meaning that cannot appear in at all in a name. These are
+  Characters with special meaning that cannot appear at all in a name. These are
   ``.;{}()@"``.
 
 keywords