There are many interesting syntactic and semantic objects that hold a notion of symmetry that a simple syntax tree can’t quite capture.| Hey There Buddo!
I’ve become entranced by all the varieties of the knuth bendix completion algorithm as of late.| Hey There Buddo!
EMT ~ SMT - SAT| Hey There Buddo!