InvariantMonoidal instance for Reified - Githubissues

durban / seals

Tools for schema evolution and language-integrated schemata

Apache License 2.0

65 stars 7 forks source link

InvariantMonoidal instance for Reified #11

Closed durban closed 8 years ago

durban commented 8 years ago

This will fix #9 when ready.

[x] provide the instance
[x] check that it follows the laws
[x] add an example with a practical use-case for this