We present a simple tool in Haskell, QStream, implementing the technique of coinductive counting by making use of Haskell's built-in coinduction capabilities. We furthermore provide a number of useful tools for stream exploration, including a number of pretty print functions and integration with the Online Encyclopedia of Integer Sequences.
展开▼
