# 1.3.1
* Added a workaround for changes in the behavior of the internal 'Magic' datatype under the current GHC PolyKinds implementation.

# 1.3
* Merged some functionality from Data.Analytics.Reflection. Notably the ability to use type nats to reflect numbers, and to splice numbers directly. This reduces orphan instances somewhat.

# 1.2
* Added `Given` and give.

# 1.1.7
* Fixed an issue caused by changes in GHC 7.7's typechecker by using explicit `ScopedTypeVariables`.

# 1.1.6:
* Relaxed an unnecessary strictness annotation in the fast implementation

# 1.1.5
* Both implementations now work on Hugs; the fast implementation ascends
  from the ranks of completely unportable black magic to being merely
  /mostly/ unportable black magic.

# From 0.5 to 1.1:

* Much faster implementation available that is about 50 /times/ faster than
  0.9 and which runs purely on black magic. This version is now used by
  default. To turn it off install with the `slow` flag. If you encounter a
  problem with the implementation, please contact the author.
* Removed `ReifiedNum`, `reflectNum`, and `reifyIntegral`; `reify` and
  `reflect` are about 3 orders of magnitude faster than the special case
  combinators were.

# 0.5
* Generalized the type signatures in reflect to allow you to pass any type
  with kind `* -> *` wrapped around the desired type as the phantom type
  argument rather than just a `Proxy`.

# 0.4
* Converted from `Data.Tagged` to using `Data.Proxy` for reflection. This
  reduces the need for helper functions and scoped type variables in user
  code.