README.HetCATS-DrIFT revision 8b3a5b62c1553ea72b6b3f9d24f6d6306b5dd273
These source files ar adapted for the special purposes of HetCATS!
See README-v1.0 for Copyright!
INSTALL
-------
ghc --make DrIFT.lhs -o DrIFT
cp DrIFT ..