Remove value from cashModel; add further explanation to gastje

1 files changed, 4 insertions, 0 deletions

diff --git a/assignment-12/gastje.icl b/assignment-12/gastje.icl
index d3b20ce..62f9238 100644
--- a/assignment-12/gastje.icl
+++ b/assignment-12/gastje.icl
@@ -115,6 +115,10 @@ where
 
 	// This fails for 0; should be <=. If we fix that, the test does not
 	// terminate, as there are no 1000 integers with abs i < 10.
+	// Another option is to use:
+	//    holds (False ==> t) p = [{prop & bool=True} \\ prop <- holds t p]
+	// I.e., *do* count cases where the antecedent is False. However, that can
+	// give a wrong idea about the test coverage.
 	fac :: Int -> Int
 	fac n
 	| n < 0 = 1