Pire - a refactoring tool for Pi-forall.
Pire's source code on github is outdated, browse its git repository instead, and download with:
git clone git://git.a-rx.info/pire
Beware however that this is just a snapshot release: no effort is made to keep a history currently, and the contents of the repository may be replaced completely at some point.
Documentation can be found in the
docs directory there, provided as
.org files, together with the org/pandoc/shake
toolchain (but not rendered as pdf/html). Rendered versions
of these docs are thus provided here (outdated however):
Pire's API docs (its haddocks i.e.)