-- Almost done rewriting the compiler, so that every edge is a predicate
function taking node arguments.
-- Beginning to formulate a paper in README.md.

Signed off by: Mark Farrell<markfarr2011@gmail.com>