elision/elision — pull request #18 by sprowell (2012-05-21 03:23:19+00:00)
Title: Documentation, autodefine, and new def.

Updates to documentation. Added autodefine. Modified def to allow definitions with metavariables. Also fixed bug in A matching with operator propagation.