jats-ug/translate

Issues

• INT2PROGINATSのビルドに失敗する

  #14 opened 4 years ago by master-q
  3

• Pdf links?

  #13 opened 9 years ago by githwxi
  4

• 推敲: "ATSプログラミング入門"

  #1 opened 10 years ago by master-q
  3

• ATS-types03-ja.pdfの添削結果をmergeする

  #10 opened 10 years ago by master-q
  1

• "証明" と "命題" を使い分けること

  #9 opened 10 years ago by master-q
  0

• Effect は "効果" ではなく "作用" と訳すこと

  #8 opened 10 years ago by master-q
  0