module Tools_idris where

hasBundledToolchain :: Bool
hasBundledToolchain = Bool
False
getToolchainDir :: [Char]
getToolchainDir = ""