From 85adae99586769cee8b382d650db2b328fdf259b Mon Sep 17 00:00:00 2001 From: Rakarake Date: Thu, 25 May 2023 11:39:48 +0200 Subject: [PATCH] Added demo helper scripts --- demo/lambda_calculus.sh | 2 ++ demo/quicksort.sh | 2 ++ 2 files changed, 4 insertions(+) create mode 100755 demo/lambda_calculus.sh create mode 100755 demo/quicksort.sh diff --git a/demo/lambda_calculus.sh b/demo/lambda_calculus.sh new file mode 100755 index 0000000..8509baa --- /dev/null +++ b/demo/lambda_calculus.sh @@ -0,0 +1,2 @@ +cd .. +./language -t bi demo/lambda_calculus.crf diff --git a/demo/quicksort.sh b/demo/quicksort.sh new file mode 100755 index 0000000..bfc145d --- /dev/null +++ b/demo/quicksort.sh @@ -0,0 +1,2 @@ +cd .. +./language -t bi demo/quicksort.crf