diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-29 22:12:41 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-29 22:12:41 +1300 |
| commit | 9b964acdb0cc36d09193861b8f7d33aea248ee46 (patch) | |
| tree | 764aa907e04ba3abeb4e348c3f9683620f91f269 /scheme/zebra-mk.sh | |
| parent | ef17f7c61ba43390b3000295579e96a8354c6e17 (diff) | |
Some equivalent test programs in Scheme running on microKanren and miniKanren for benchmark comparisonsHEADmaster
Diffstat (limited to 'scheme/zebra-mk.sh')
| -rwxr-xr-x | scheme/zebra-mk.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scheme/zebra-mk.sh b/scheme/zebra-mk.sh new file mode 100755 index 0000000..24e1b4b --- /dev/null +++ b/scheme/zebra-mk.sh @@ -0,0 +1,6 @@ +#!/bin/bash + + +/usr/bin/env -S guile -e run-zebra -l "mk.scm" -l "mkdefs.scm" -s "zebra.scm" + + |