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