Merge pull request #1 from pseudonom/patch-1

Make logicalPredicate satisfiable
idris-hackers · Dec 2, 2013 · 0002453 · 0002453
2 parents 1667f35 + 53cd6b2
commit 0002453
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Koans/03-Boolean.idr b/Koans/03-Boolean.idr
@@ -11,6 +11,6 @@ logicalNOT : Bool
 logicalNOT = not ?fillme3 == False
 
 logicalPredicate : Bool
-logicalPredicate = not ( ?fillme4 && True) || ?fillme5 && False == True
+logicalPredicate = not ( ?fillme4 && True) || (?fillme5 && False) == True
 
 -- --------------------------------------------------------------------- [ EOF ]