-- | Determine whether a file uses literate syntax
lit f = case splitExtension f of
            (_, ".lidr") -> True
            _ -> False
lit f = case splitExtension f of
            (_, ".lidr") -> True
            _ -> False
lit f = case splitExtension f of
            (_, ".lidr") -> True
            _ -> False