v0.0.4

0.0.4 @AbnerZheng

• Implemented folding feature.
• Added initial tests.

v0.0.3

• Syntax change: Contracts as processes (recursive), fix arithmetic operators.
• New file icon.

v0.0.2

Refactor pluin name, contributing page

v0.0.1

Readme docs