Commit 68871ab5 authored by Michael Hanus's avatar Michael Hanus
Browse files

Syntax correction

parent c93e12c3
......@@ -341,7 +341,10 @@ easyCheck5' :: (_ -> _ -> _ -> _ -> _ -> Prop) -> Result
easyCheck5' = easyCheck' . suc (suc (suc (suc (suc id))))
nth :: Int -> String
nth n = case n of 1 -> "first"; 2 -> "second"; 3 -> "third"; _ -> show n++ "th"
nth n = case n of 1 -> "first"
2 -> "second"
3 -> "third"
_ -> show n++ "th"
done :: Config -> String -> Int -> [[String]] -> Bool -> IO Bool
done config mesg ntest stamps status = do
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment