▲ 1 pointsExploring Type Systems for Verifying Musical Correctnessinfoq.comby matt_d·7y ago·0 comments·view on hn ↗