文件名称：mezzo：用于类型安全音乐创作的Haskell库
文件大小：969KB
文件格式：ZIP
更新时间：2024-02-23 13:40:56
haskell dependent-types midi music-composition haskell-library
mezzo：用于类型安全音乐创作的Haskell库
【文件预览】：
mezzo-master
----Setup.hs(46B)
----src()
--------Mezzo()
--------Mezzo.hs(789B)
----examples()
--------Setup.hs(46B)
--------src()
--------LICENSE(1KB)
--------README.md(5KB)
--------stack.yaml(2KB)
--------mezzo-examples.cabal(1KB)
----.travis.yml(4KB)
----test()
--------PrimSpec.hs(18KB)
--------Main.hs(168B)
--------CompTestsFail.hs(3KB)
--------TestUtils.hs(1KB)
--------CompTestsCompile.hs(3KB)
--------TypeSpec.hs(9KB)
--------Spec.hs(4KB)
----LICENSE.md(1KB)
----mezzo.cabal(3KB)
----README.md(32KB)
----stack.yaml(2KB)
----docs()
--------dissertation.pdf(862KB)
--------comp1.png(36KB)
----.gitignore(193B)
----CHANGELOG.md(2KB)