As a linguistics student and amateur programmer I find linear logic to be very interesting since it gets used both in linguistics (associated with lexical-functional grammar) and, of course, math and computing.

I think it would be cool to parse the output tree of a Ceptre program and produce some kind of display (other than a visual tree, of course.) Maybe set the stages to auto, run it a a bunch of times, then produce some statistical analysis from the results - number of deaths per character, average speed at which a given character dies, and so on.

Anyone know if a Ceptre parser available? They must have written one for this article.