Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Basic conditional operators with monadic variants.
Haskell
Branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
src Fix default implementations of || and &&
LICENSE initial commit
README.md Added README
Setup.hs initial commit
cond.cabal version bump

README.md

Description

A library of boolean operations, lifted in a typeclass for boolean values. Also includes:

  • Lifted monadic variants of those operations.
  • Hoare's conditional choice operator.
  • A typeclass for boolean algebras.

See annotated documentation in code for information about individual entities.

Something went wrong with that request. Please try again.