From bcb7a1156252da6cd16b7d3505e3f5b686a5669f Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 14 Feb 2026 22:46:03 +1300 Subject: Changed Scheme benchmark tests to need manual code copy/paste from miniKanren for better performance comparisons --- scheme/zebra-uk.sh | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 scheme/zebra-uk.sh (limited to 'scheme/zebra-uk.sh') diff --git a/scheme/zebra-uk.sh b/scheme/zebra-uk.sh deleted file mode 100755 index 6a891ad..0000000 --- a/scheme/zebra-uk.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - - -/usr/bin/env -S guile -e run-zebra -l "uk.scm" -l "mkdefs.scm" -s "zebra.scm" - - -- cgit