Find document about rewriting.

[lijie]

Hi,

I have read a document a few days ago, about rewriting, and forgot where to read. I just remember a few lines like this:

---------------------------------

> infix nnnn is;

> // some definitions of "is"

> a is b c; // call "is"

Is a b c? // rewrite to this

---------------------------------

It is very intresting.

I cannot find it again in puredoc.pdf and wiki, nor anything special keywords to search. Can anyone give me a link?

Best regards.

[kp]

http://code.google.com/p/pure-lang/wiki/PurePrimer3

by courtesy of Google :)

[lijie]

On Tue, Oct 30, 2012 at 8:51 AM, kp <k...@scios.ch> wrote:

http://code.google.com/p/pure-lang/wiki/PurePrimer3

by courtesy of Google :)

 

Is this, thanks!