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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'samples/euler/001.bruijn')

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]])
 
-- 
cgit v1.2.3