We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
目前正在拟订翻译规范,各位有啥意见或建议欢迎在这里提出~!
The text was updated successfully, but these errors were encountered:
前几章的源码已按照翻译规范整理完毕;翻译规范已更新。请读者前往阅读并提出建议或补充。
Sorry, something went wrong.
再加一条:术语如果是名词,后面的括号中首字母大写,其它情况则为小写。
多余的空格和换行可通过反斜杠\转义来消除。例如:
\
Idris 社区规范\ 在\ `此处 <https://www.idris-lang.org/documentation/community-standards/>`_\ 声明。
会被渲染为:
Idris 社区规范在此处声明。
任务完成步骤精简为初译和初校两项,Issue 完成后请关闭,润色、精校和更新等步骤则交由社区自然完成。
No branches or pull requests
目前正在拟订翻译规范,各位有啥意见或建议欢迎在这里提出~!
The text was updated successfully, but these errors were encountered: