A Haskell library for predicates with interleaved evaluation.
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Data
.gitignore
LICENSE
README
Setup.hs
bintree.lhs
fair-predicates.cabal

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.