From 5e9653c3701eddf86312b534d7e8340c0857e84b Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Thu, 13 Jan 2022 14:33:09 +0100 Subject: [PATCH] Tweak --- doc/manual/src/expressions/language-constructs.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/manual/src/expressions/language-constructs.md b/doc/manual/src/expressions/language-constructs.md index c406b6910..1c01f2cc7 100644 --- a/doc/manual/src/expressions/language-constructs.md +++ b/doc/manual/src/expressions/language-constructs.md @@ -276,7 +276,6 @@ stdenv.mkDerivation { ... } ``` -("->" is a boolean operation known as [logical implication](https://en.wikipedia.org/wiki/Truth_table#Logical_implication)) The points of interest are: @@ -285,6 +284,10 @@ The points of interest are: function is called with the `localServer` argument set to `true` but the `db4` argument set to `null`, then the evaluation fails. + Note that `->` is the [logical + implication](https://en.wikipedia.org/wiki/Truth_table#Logical_implication) + Boolean operation. + 2. This is a more subtle condition: if Subversion is built with Apache (`httpServer`) support, then the Expat library (an XML library) used by Subversion should be same as the one used by Apache. This is