[Agda] Power series in Agda

[Wouter Swierstra]

> did anyone hear about any work on formal power series in agda?

Not that I know of... but this might make a really nice little project
to learn about Agda and coinduction. In particular, I would suggest
reimplementing Doug McIlroy's functional pearl
(http://www.cs.dartmouth.edu/~doug/pearl.ps.gz), and prove some of the
equations he tests (like sinx - sqrt(1-cosx^2) = 0).

Hope this helps,

  Wouter