We're using pulp to make tracks for Playdate in the Global Game Jam, so we're sort of learning by the seat of our pants. We love the device.
A sticking point has been using the Pulp sequences to make tracks; we're exporting as .json, then converting to .mp3 and/or .wav that we can trigger in lua.
Sorry nobody got back to you. I have no idea either. I've just used an internal audio capture to do it, which definitely isnt the same as directly exporting the music.
Hopefully someone who knows answers soon. Sometimes you can wait a while for an answer here.