New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add instance for Boolean (x, y) #5

Merged
merged 1 commit into from Oct 2, 2013

Conversation

Projects
None yet
2 participants
@owst
Contributor

owst commented Oct 2, 2013

Boolean algebras are closed under product, this instance implements this.

kallisti-dev added a commit that referenced this pull request Oct 2, 2013

Merge pull request #5 from owst/master
Add instance for Boolean (x, y)

@kallisti-dev kallisti-dev merged commit ca8d535 into kallisti-dev:master Oct 2, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment