0.1.3.0

• Add modules for Storable and boxed vectors.

0.1.2.0

• Add liquid haskell refinement for new.

0.1.1.0

• Add liquid haskell refinements.

0.0.1.0

• Initial release