Each [[rewrite rule]] or [[rewriting strategy]] applies to an implicit subject term. See [[rules versus strategies]] for a discussion. -- [[Eelco Visser]] - 13 May 2003 The implicit current subject term is related to the [[Point Free Style]] in functional programming. In this style function declarations never mention the actual arguments they will be applied to. See the Haskell Wiki: * http://haskell.org/hawiki/PointFreeStyle -- [[Main.MartinBravenboer][Martin Bravenboer]] - 20 Jun 2003 ---- CategoryGlossary