From f31d7645399702e52337e63a1a7acc3776e33a77 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Fri, 6 Sep 2024 14:47:17 +0200 Subject: Sample/std fixes --- samples/fun/huge.bruijn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'samples/fun/huge.bruijn') diff --git a/samples/fun/huge.bruijn b/samples/fun/huge.bruijn index 974f2ea..9631f45 100644 --- a/samples/fun/huge.bruijn +++ b/samples/fun/huge.bruijn @@ -1,5 +1,5 @@ # "bruijn huge.bruijn" -# some of the fastest growing functions per blc length +# some fun fast growing functions per blc length # 55 bits inflating to 65536 bits, John Tromp huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u)] -- cgit v1.2.3