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/
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/