moratori opened this issue 6 years ago · 0 comments
下記の様な項表現は、「5」として表されるべき. 項の解釈処理をユーザーが別途で定義できるようにする
successor(successor(successor(successor(successor(ZERO)))))