From 14e38ce378236cf54924b58396168c1e94f8e6b2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 25 Mar 2024 18:59:03 +0100
Subject: Improved samples by adding links to problems

---
 samples/euler/001.bruijn | 2 +-
 samples/euler/006.bruijn | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'samples/euler')

diff --git a/samples/euler/001.bruijn b/samples/euler/001.bruijn
index 1678b58..72b605f 100644
--- a/samples/euler/001.bruijn
+++ b/samples/euler/001.bruijn
@@ -3,7 +3,7 @@
 :import std/Math .
 
 solve [∑(crit <#> ({ (+0) → --0 }))]
-	crit φ m ((\mod (+3)) → zero?) ((\mod (+5)) → zero?)
+	crit [ψ m ((mod 0) → zero?) (+3) (+5)]
 
 :test ((solve (+10)) =? (+23)) ([[1]])
 
diff --git a/samples/euler/006.bruijn b/samples/euler/006.bruijn
index 75582c7..4de0d10 100644
--- a/samples/euler/006.bruijn
+++ b/samples/euler/006.bruijn
@@ -1,7 +1,7 @@
 :import std/Combinator .
 :import std/Math .
 
-solve [|(sum-of-squares - square-of-sum)]
+solve [square-of-sum - sum-of-squares]
 	sum-of-squares ∑ (+1) → 0 | (\pow (+2))
 	square-of-sum (∑ (+1) → 0 | i) ** (+2)
 
-- 
cgit v1.2.3