From 6fd84d97a89c82e6de568b79daaaee76096fb5b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20R=C3=B6hler?= Date: Thu, 4 Jan 2024 19:15:56 +0100 Subject: [PATCH] #76, Solution for Example 1.4.1.1 fails, fixed (#77) Signed-off-by: Andreas Roehler --- sofp-src/sofp-nameless-functions.lyx | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/sofp-src/sofp-nameless-functions.lyx b/sofp-src/sofp-nameless-functions.lyx index f3633c0ff..297943fc0 100644 --- a/sofp-src/sofp-nameless-functions.lyx +++ b/sofp-src/sofp-nameless-functions.lyx @@ -4956,7 +4956,7 @@ status open \begin_layout Plain Layout -def isPrime(n: Int): Boolean = +def isPrime(n: Int): Boolean = { \end_layout \begin_layout Plain Layout @@ -4974,6 +4974,11 @@ def isPrime(n: Int): Boolean = .forall(k => n % k != 0) \end_layout +\begin_layout Plain Layout + +} +\end_layout + \end_inset