v0.1.2

• Added Exists.unapply (@wemrysi)

v0.1.1

• Support for Scala 2.11

v0.1.0

First release! Getting things rolling. Proof of concept on the implicit materialization stuff, but we only have half of it right now (i.e. you cannot materialize a fully-instantiated instance from a quantified one, but you can materialize a quantified instance from a let-bound uninstantiated definition). I expect to stabilize this library very quickly, but some things that are still coming down the pipe:

• Properly motivated implicit materialization for Exists
• Bidirectional materialization for Forall (right now, we have half of this; it'll require a macro)
• Potentially unboxed encodings for both Forall and Exists (both can be done as type tags, rather than as concrete on-heap values)