fixes #880 (#1037)

source-academy · Jul 10, 2024 · 83df2fc · 83df2fc
1 parent 6f7425c
commit 83df2fc
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/xml/chapter4/section3/subsection1.xml b/xml/chapter4/section3/subsection1.xml
@@ -648,6 +648,18 @@ function a_pythogorean_triple_between(low, high) {
 }
       </JAVASCRIPT>
     </SNIPPET>
+    <SOLUTION>
+      <SNIPPET>
+	<JAVASCRIPT>
+// solution by GitHub user jonathantorres
+
+function an_integer_between(low, high) {
+    require(low &lt;= high);
+    return amb(low, an_integer_between(low+1, high));
+}
+	</JAVASCRIPT>
+      </SNIPPET>
+    </SOLUTION>
   </EXERCISE>
 
   <EXERCISE>