Counter application

Motivation

This example is a trivial user interface that serves to introduce the Kingly library. This example is used in the tutorials section.

Visualization

counter machine

Implementation