Add test suite - Githubissues

RiugaBachi / necrophagy

A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.

BSD 3-Clause "New" or "Revised" License

24 stars 0 forks source link

Add test suite #2

Open RiugaBachi opened 4 years ago

RiugaBachi commented 4 years ago

Static verification is only as good as whether or not said static verification is correct to begin with, unfortunately. Fortunately, type-level tests are easy to implement, and there are plenty of tabs out there for reference re-implementation, though we will definitely want originals for edge cases.