The Art of the Propagator. See also:
Go to file
2015-09-21 05:08:40 -04:00
scripts mixed cabal/stack build on travis. add osx testing 2015-09-21 05:01:36 -04:00
src/Data better csqrt for propagated intervals 2015-09-20 16:18:08 -04:00
tests grow this thing up into a real project 2015-09-19 23:49:40 -04:00
.gitignore grow this thing up into a real project 2015-09-19 23:49:40 -04:00
.travis.yml mixed cabal/stack build on travis. add osx testing 2015-09-21 05:01:36 -04:00
CHANGELOG.markdown add CHANGELOG and README 2015-09-21 05:08:40 -04:00
LICENSE grow this thing up into a real project 2015-09-19 23:49:40 -04:00
propagators.cabal proper version bounds 2015-09-21 04:59:34 -04:00
README.markdown add CHANGELOG and README 2015-09-21 05:08:40 -04:00
Setup.lhs grow this thing up into a real project 2015-09-19 23:49:40 -04:00
stack.yaml mixed cabal/stack build on travis. add osx testing 2015-09-21 05:01:36 -04:00

propagators

Hackage Build Status

Propagators propagate increases in information from cell to cell.

They are described (using Scheme) in Alexey Radul and Gerald Sussman's "The Art of the Propagator" as well as in Alexey Radul's thesis on Propagation Networks.

This package explores design options for propagators in Haskell. The primary innovation here (beyond the published work) is the use of observable sharing to let us take a more direct form of programming and transform it back and forth to the propagator style.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett