mezzo (hackage): A Haskell music composition library that enforces common musical rules in the type system.
Keywords: library|mit|music|dependent-types|haskell|haskell-library|midi|music-composition|music-notation|type-level-programming