Export songs as midi files

Is it possible to export a v3 song from notessimo as a Midi file, and if so, how can I do it?

Not currently possible. I think midi controller support is planned, but I haven’t heard anything about converting files to and from midi.