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/refresh.sh | |
| parent | ef17f7c61ba43390b3000295579e96a8354c6e17 (diff) | |
Some equivalent test programs in Scheme running on microKanren and miniKanren for benchmark comparisonsHEADmaster
Diffstat (limited to 'scheme/refresh.sh')
| -rwxr-xr-x | scheme/refresh.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scheme/refresh.sh b/scheme/refresh.sh new file mode 100755 index 0000000..e38b99f --- /dev/null +++ b/scheme/refresh.sh @@ -0,0 +1,16 @@ +#!/bin/bash + + +# Script that resets Scheme compilation to facilitate switching between mini and micro. +# Don't need to recompile mk.scm and uk.scm since they don't depend on anything. + +#touch mk.scm +touch mkdefs.scm + +#touch uk.scm + +touch houses.scm +touch logo.scm +touch zebra.scm + + |
