From d117a3dae2ae356f32ac61dcabf2fee6a109c0a4 Mon Sep 17 00:00:00 2001 From: Edward Kmett Date: Mon, 21 Sep 2015 05:08:40 -0400 Subject: [PATCH] add CHANGELOG and README --- CHANGELOG.markdown | 3 +++ README.markdown | 19 +++++++++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 CHANGELOG.markdown create mode 100644 README.markdown diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown new file mode 100644 index 0000000..928e11a --- /dev/null +++ b/CHANGELOG.markdown @@ -0,0 +1,3 @@ +## 0 + +* Repository Initialized diff --git a/README.markdown b/README.markdown new file mode 100644 index 0000000..b8b1c31 --- /dev/null +++ b/README.markdown @@ -0,0 +1,19 @@ +propagators +=========== + +[![Hackage](https://img.shields.io/hackage/v/propagators.svg)](https://hackage.haskell.org/package/propagators) [![Build Status](https://secure.travis-ci.org/ekmett/propagators.png?branch=master)](http://travis-ci.org/ekmett/propagators) + +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"](http://web.mit.edu/~axch/www/art.pdf) as well as in Alexey Radul's thesis on [Propagation Networks](http://web.mit.edu/~axch/www/phd-thesis.pdf). + +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