more formal Haskell project setup, with dependencies on packages from "stackage";
chapter Toolssession Spec_Check in Spec_Check = Pure + theories Spec_Check Examplessession SML in SML = Pure + theories Examplessession Haskell in Haskell = Pure + theories Haskell theories [condition = ISABELLE_GHC_STACK] Test