home: hub: zuo

Info  •  Files  •  Log

Fix duplication

--- a/zuo-doc/lang-zuo.scrbl

+++ b/zuo-doc/lang-zuo.scrbl

@@ -754,8 +754,7 @@

 A @deftech{module path} is a path string or a symbol, where a symbol

 must contain only the letters @litchar{A}-@litchar{Z},

-@litchar{a}-@litchar{z}, @litchar{A}-@litchar{Z},

-@litchar{0}-@litchar{9}, @litchar{-}, @litchar{+}, @litchar{+}, or

+@litchar{a}-@litchar{z}, @litchar{0}-@litchar{9}, @litchar{-}, @litchar{+}, or

 @litchar{/}. Furthermore, @litchar{/} in a symbol module path cannot

 be at the start, end, or adjacent to another @litchar{/}.