idris-0.9.18: src/Tools_idris.hs

module Tools_idris where

hasBundledToolchain = False
getToolchainDir = ""