Skip to content

Commit

Permalink
Merge pull request #118 from f7deleon/fix-bool-value-chapter-6
Browse files Browse the repository at this point in the history
Fix bool value on chapter 6
  • Loading branch information
ranjitjhala authored Jul 31, 2023
2 parents d9cb291 + e7f349a commit f95d443
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Tutorial_06_Measure_Bool.lhs
Original file line number Diff line number Diff line change
Expand Up @@ -235,7 +235,7 @@ only invoke the respective functions with non-empty lists.
Write down a specification for `null` such that `safeHead`
is verified. Do *not* force `null` to only take non-empty inputs,
that defeats the purpose. Instead, its type should say that it
works on *all* lists and returns `True` *if and only if* the input
works on *all* lists and returns `False` *if and only if* the input
is non-empty.
</div>
Expand Down

0 comments on commit f95d443

Please sign in to comment.