Euterpea-2.0.2: Library for computer music research and education
Euterpea.IO.MIDI.ExportMidiFile
exportMidiFile :: FilePath -> Midi -> IO () Source #