Roadmap

1.2

• Tabular facts (Done)
• Describe how often prerequisites can be called. (Done)
• fact's return value is appropriately true or false. (Done)
• Protocol functions can be used in prerequisites. (Done)

Unscheduled

• Doc strings (Done)

• A thoroughgoing effort to provide good error messages for syntax (etc.) errors. (Done)

• XML/TAP format output, like this: https://github.com/arohner/lein-test-out

• Colorized test output, perhaps using Lazytest's runners. (Done, and Done)

Wishlist

• Typed metaconstants A problem with metaconstants is that you can't say something like

     (f ...n...) => (* 2 ...n...)
  

  because ...n...'s value is a symbol. It'd be nice if you could give it a type Integer, meaning it'd be assigned an arbitrary (random?) integer.

• Reversible checkers.

  ...movie... => has-favorite-actor? ; instead of (has-favorite-actor? ...movie...) => truthy

  (recommendations) => (just ...movie...) ; instead of (recommendations) => [...movie...]