progs/haskell/README
author cu
Tue, 10 Oct 2017 11:31:47 +0100
changeset 279 f754a10875c7
parent 3 94824659f6d7
permissions -rw-r--r--
updated for Isabelle 2017

compile with


ghc -O3 --make -with-rtsopts='-K128m' re.hs