Code

modules.rst done.#3

Code

Merged

OlingCat merged 3 commits intoIdris-zh:masterIdris-zh/Idris-dev:masterfrom duobei:masterCopy head branch name to clipboardMar 11, 2018

+230-112

Commits

Commits on Mar 8, 2018

• modules.rst done.

  

  duobei

  committed
  89f5b21

Commits on Mar 10, 2018

• 润色；按照翻译规范修改；

  

  duobei

  committed
  eb32a8f

• 规范术语

  

  duobei

  committed
  f952aea