Another example programming Blech on Arduino.
Blech-example of a Button controlling an LED -- with double-click-detection.
As before (see e.g. https://github.com/mschlund/RGB_LED)
$ git clone https://github.com/mschlund/Digital_Inputs_2.git $ cd Digital_Inputs_2 $ make
and then build and flash the Digital_Inputs_2.ino with your favorite Arduino-IDE.
Blogpost: https://maximilianschlund.wordpress.com/2020/11/13/lesson-3b-digital-input-double-click-detection/