Skip to content

Add Monoid instance for Query#207

Merged
shane-circuithub merged 1 commit intomasterfrom
monoid-Query
Oct 17, 2022
Merged

Add Monoid instance for Query#207
shane-circuithub merged 1 commit intomasterfrom
monoid-Query

Conversation

@shane-circuithub
Copy link
Copy Markdown
Contributor

No description provided.

@shane-circuithub shane-circuithub merged commit d2f05bd into master Oct 17, 2022
@shane-circuithub shane-circuithub deleted the monoid-Query branch October 17, 2022 11:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant