src/Tools/Haskell/Test.thy
Mon, 10 Dec 2018 23:36:29 +0100 wenzelm more Haskell operations;
Mon, 10 Dec 2018 23:03:20 +0100 wenzelm more formal Haskell project setup, with dependencies on packages from "stackage";
Sun, 02 Dec 2018 13:29:40 +0100 wenzelm clarified signature: allow to add_files/get_files by other tools;
less more (0) -3 tip