- Mezzo – music composition meets dependent types https://github.com/DimaSamoz/mezzo 64 comments haskell
Linking pages
- Anti-Instances in Haskell https://www.heneli.dev/blog/anti-instances 15 comments
- It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness https://www.infoq.com/articles/type-systems-verifying-musical-correctness/ 1 comment
- It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness https://www.infoq.com/articles/type-systems-verifying-musical-correctness/?itm_campaign=user_page&itm_medium=link&itm_source=infoq 0 comments
Linked pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - DimaSamoz/mezzo: A Haskell library for typesafe music composition
See how to search.