You could implement the Arduino pins as Arduino.A7 etc. It would just be a matter of creating a jswrap_nucleo.c file that added the relevant constants...
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Thanks for supporting the Pico!
Yes, the GitHub pull worked great!
You could implement the Arduino pins as
Arduino.A7
etc. It would just be a matter of creating ajswrap_nucleo.c
file that added the relevant constants...