Hacker News new | past | comments | ask | show | jobs | submit
practal | on: #42067446
Of course term rewriting has a meaning of its own, it is at the same time more meaningful and simpler as any other form of computation.