This is a demo program using zephyr-copilot. 

To build the C code:

	stack build zephyr-copilot
	stack runghc Demo.hs

It simply flashes the board's User LED, 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_trinket_m0 -s \
		~/zephyr-copilot/Examples/Blink/generated/

Then to flash it to the board:

	west flash