From 001e80ae2571d15973a1e5b9b95975dcf9f005b6 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Fri, 17 May 2024 13:49:22 +0200 Subject: Fixed tests --- samples/fun/goldbach.bruijn | 1 + 1 file changed, 1 insertion(+) (limited to 'samples/fun/goldbach.bruijn') diff --git a/samples/fun/goldbach.bruijn b/samples/fun/goldbach.bruijn index 2592a40..8f2a235 100644 --- a/samples/fun/goldbach.bruijn +++ b/samples/fun/goldbach.bruijn @@ -1,4 +1,5 @@ # Tromp's version, will reduce to [0] iff Goldbach conjecture is false + :import std/Combinator . zero [[1]] -- cgit v1.2.3