Folders and filesNameNameLast commit messageLast commit dateLatest commitHistory72 Commits.github/workflows.github/workflowssrcsrc.gitignore.gitignoreCHANGELOG.mdCHANGELOG.mdLICENSELICENSEREADME.mdREADME.mdSetup.hsSetup.hscabal.haskell-cicabal.haskell-cicond.cabalcond.cabalDescription 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. AboutBasic conditional operators with monadic variants.ResourcesReadmeLicenseActivityStars0 starsWatchers0 watchingForks0 forksReleasesPackagesContributorsLanguages
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.