Introduction
Tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper
Deriving Structural Hylomorphisms From Recursive Definitions at ICFP'96 by Hu, Iwasaki, and Takeichi.
Download
See
PUReSoftware.
Usage
To use
DrHylo, simply type
DrHylo -h
at the command line, and follow instructions.
Usage: DrHylo [OPTION...]
-o[FILE] --output[=FILE] output FILE
-i[FILE] --input[=FILE] input FILE
To run the resulting Haskell files you will need
PointlessHaskell.
Please send feedback to
alcino@di.uminho.pt.