module Tools_idris where hasBundledToolchain :: Bool hasBundledToolchain = Bool False getToolchainDir :: String getToolchainDir = String ""