About

Metadata

  • Last updated , by SebastianFischer
  • License LicenseRef-PublicDomain
  • Maintained by: sebf@informatik.uni-kiel.de

  • Lottery factor: 0

Links

Installation

Readme

Fair Predicates

This Haskell library provides an implementation of Boolean predicates with interleaved evaluation. Conjunction and disjunction are not biased to one of their arguments but evaluate both step-wise interleaved.

For feedback or bug reports contact sebf@informatik.uni-kiel.de.