Midi file support?

[thomasjwebb]

If y'all think midi file read/write support is appropriate, I can move the code to do that from grig.midi to here

[ncannasse]

If the format is simple and stable/complete enough then it's always good to have it here. Le jeu. 6 août 2020 à 17:16, Thomas J. Webb <notifications@github.com> a écrit :

…

If y'all think midi file read/write support is appropriate, I can move the code to do that from grig.midi to here — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#94>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAHZXQD2J5NHSB5PS4WEKL3R7LCNLANCNFSM4PWWGSIA> .

[loudoweb]

@thomasjwebb Would be great!