stream-calculus

Copperbox revision 657.

I've been playing with the Hinze-Streams library, which got me interested in the stream calculus of Jan Rutten. Hinze-Streams have a different multiplication to Rutten's stream calculus, so I though I'd have a go at writing the stream calculus in Haskell.

I'm not sure whether this will develop into a proper implementation. The definitions in Rutten's work are so compact that there's ample room for errors in translation; I imagine a test suite will be more work than the operators themselves.