MIDI file export is currently experimental. A first version of the export is available since version 0.5.

You can find some first MIDI examples generated with SoundHelix here.