0.3.0

• TM-68 Lorentz DSL which allows one to write contracts directly in Haskell. May be moved to a separate package later.
• TM-132 Names for contracts in integrational tests.
• TM-35 PACK and UNPACK instructions.
• TM-27 Proper handling of FAILWITH.
• TM-44 TM-124 Reorganization of modules.
• Bug fixes.

0.2.0.1

• Update documentation and metadata.

0.2.0

Initial release.

• Typechecker and interpreter for Michelson.
• Morley extensions:
  • syntax sugar
  • let-blocks
  • inline assertions
• EDSL for unit testing and integrational testing