Tag Archives: semantic pain

System X, semantic pain and disturbing news to some

This is a temporary post. Soon some news will come, some disturbing for some. This is just to entertain you with the System X, a small graph rewrite system proposed as a replacement for slide equivalence. Here is some prose I wrote while trying to understand 3 tiny graphic beta rewrites. This qualifies as semantic pain, but it was a very good exercice because it gives ideas (to those prone to have them, as opposed to those who lack personal ideas and take them without acknowledgement).