This is a demo program using zephyr-copilot. 

To build the C code:

	stack build zephyr-copilot
	stack runghc Demo.hs

It lights up the board's User LED when the User Button is pressed,
and blinks it otherwise, so should work on many boards.

The resulting `generated/` directory can be built and flashed to a board
using Zephyr.

First, follow Zephyr's getting started guide to install it:
https://docs.zephyrproject.org/latest/getting_started/

Once Zephyr is working, to build the code generated by zephyr-copilot,
run west from within the zephyr git repository, pointing at the path
of the `generated/` directory. For example:

	west build -b adafruit_feather_nrf52840 -s \
		~/zephyr-copilot/Examples/Button/generated/

Then to flash it to the board:

	west flash