Diff of TRS

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to TRS.

TITLE:TRS (term rewriting system)

- 項書き換えシステム入門
--  http://www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/index.html

* 関連 [#rel]

- [[Programming]]
- [[Math]]