On Saturday, 20 December 2014 at 14:16:05 UTC, bearophile wrote: > In Haskell this is so common that GHC has a feature named > rewrite rules: Pure is fully based on term rewriting: http://purelang.bitbucket.org/