This is a demo program using arduino-copilot, showing how to use EEPROMex. This needs the Arduino-Makefile to be installed. It relies on it to set CPPFLAGS=-D_EEPROMEX_DEBUG when building the C code. The path in the `Makefile` to `Arduino.mk` may need to be adjusted (the default is the location where on a Debian system, `apt-get install arduino-mk` will install it). You will also need to install the EEPROMex library to someplace where the Arduino toolchain can find it. First, run this to build and upload a sketch that zeros out some values of the EEPROM. stack build arduino-copilot ZERO=y stack runghc Demo.hs ZERO=y make upload Then, you can build and upload the sketch that actually does something interesting. stack runghc Demo.hs make upload