jats-ug/ATS-Postiats — pull request #1 by dif-engine (2014-03-17 13:44:43+00:00)
Title: Update main.atxt

直前の例1+2*3-4に二項演算子の「マイナス記号」が出てくることから，ATSにおいて~に置き換えられているのは「マイナス記号」全体ではなく，負の数を表す数値リテラルの先頭の負符号に限定されると考えられる．