halmos-helpers-examples

halmos-helpers-examples is a collection of examples of using halmos-helpers-lib in practice. At the same time, it acts as a test suite for halmos-helpers-lib.

1. Clone this repo:

   git clone --recurse-submodules https://github.com/igorganich/halmos-helpers-examples.git

2. Make sure you have a recent version of halmos:

   $ halmos --version

   At the moment of writing - the target version is halmos 0.3.0
3. Run:

   $ halmos

   At this point, all examples will be run. More details about each example can be found in the examples subdirectories.

This code is licensed under GNU General Public License v3.0.