:marker -> :mark
Added a macro `fixpoint`.
Removed a flawed 'optimization'.
Bugfix for fixpoint macro.
Fixed a typo.
Added a function fix, similar to the macro fixpoint.
Rewrote the fixpoint macro in terms of the function fix.
Updated core.logic dependency.
Added documentation and tests for c/rcomprehend and c/fixpoint.
Version 0.3:
- Added documentation for forward matching
- Fixed bug in equivalence testing