Interesting. This work was done at ITP (which is short for interactive theorem proving, but not here). The ITP has been founded by Red Burns, who has written a foreword (really a foreword interview) for John Maeda's "Creative Code". And I am currently looking at Maeda's work, after recently discovering his book "Design By Numbers", which is just fabulous (and looks great on a coffee table, although I don't have one). And as it happens, I plan to implement a version of Design By Numbers in Abstraction Logic. And in order to make it easy for users to write down Abstraction Logic terms, I have invented a new simple text format called Recursive Text [0]! Which closes the circle to RecursiveDrawing.com.
[0] More info about Recursive Text (RX) will be available next month at http://recursivetext.com . Its semantics is really simple:
RX = Block+
Block = Line (Line | Block)*
Line = Character*
RX is saved as a text file, encoding above semantics via indentation. It can be edited as a normal text file, but is intended to be edited in a special editor that respects and exploits above semantics.
[0] More info about Recursive Text (RX) will be available next month at http://recursivetext.com . Its semantics is really simple:
RX is saved as a text file, encoding above semantics via indentation. It can be edited as a normal text file, but is intended to be edited in a special editor that respects and exploits above semantics.