Kai wrote:
Thank you all for showing interest and responding.
Check out http://thyer.name/lambda-animator/. Requires Java.
Wow, this is SUCH a cool tool. Best discovery in a long time! I think
I need to brush up on my lambda-calculus, because it took me some time
to figure out what settings
If the scanning stage pairs the tokens it returns with
their positions, then scanning can be done once before
parsing begins. I've done this with a parser implemented
with parser combinators, these combinators then decide
whether or not to accept a token based on which token
it is and how far it
Malcolm writes:
Unfortunately, the example given in the Report is nothing like as clear
- in fact, I still don't understand it. Perhaps someone could explain
it to me?
f x = let
h y = let
p z = z
in p
in h
Here, the definition of p is indented less than the
