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