logic/combinator intros and system

[iepos@tunes.org]

Greetings, TUNES-sters..

Some of you might be interested in knowing... I've finally gotten
started on that system I promised. It does very little at this
point... it crunches combinatory expressions though... the
latest version (written in C, i got tired of Java for some reason) 
can be found at http://www.tunes.org/~iepos

also... the introductions to logic and combinators there have been 
majorly updated (although they're still quite incomplete)...

- iepos