3 ms·It Ain't Necessarily So: Type Systems for Verifying Musical Correctness2 points by adamnemecek 7y ago