indent proof blocks by 2 spaces
commit2fb2445ea4538d6faa5fb5dbb03db7367173e6be
authorraichoo <raichoo@googlemail.com>
dateWed 31 Oct 2012, 10:55 (14 years ago)
parentb0ce16c
src/Idris/Prover.hs+1−1
@@ -32,7 +32,7 @@ prover lit x =
3232showProof :: Bool -> Name -> [String] -> String
3333showProof lit n ps
3434 = bird ++ show n ++ " = proof {" ++ break ++
35− showSep break (map (\x -> " " ++ x ++ ";") ps) ++
35+ showSep break (map (\x -> " " ++ x ++ ";") ps) ++
3636 break ++ "}\n"
3737 where bird = if lit then "> " else ""
3838 break = "\n" ++ bird