Mercurial > 12ws.info2

diff exercises/src/Exercise_8.hs @ 19:6688bf4a5836

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename Form-File to match module name
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 07 Dec 2012 01:34:16 +0100
parents a899535b1674
children 6d43207984ec
line wrap: on
line diff
--- a/exercises/src/Exercise_8.hs	Fri Dec 07 01:26:31 2012 +0100
+++ b/exercises/src/Exercise_8.hs	Fri Dec 07 01:34:16 2012 +0100
@@ -12,6 +12,7 @@
 f1 :: Fraction
 f1 = Over 7 5
 
+
 norm :: Fraction -> Fraction
 norm = undefined 
 
@@ -24,7 +25,6 @@
 p0 :: Form
 p0 = (Var "a" :&: Var "b") :|: (Not (Var "a") :&: Not (Var "b"))
 
-
 p1 :: Form
 p1 = ((Not $ Not $ Var "a") :|: (Not ((Var "b") :->: (Not (Var "c")))))