Where are all the Rewrite Rules? (via felixyz) — discussion

#formalmethods #math #programming