aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main.c b/src/main.c
index 96eaf5f..0ae67dd 100644
--- a/src/main.c
+++ b/src/main.c
@@ -6,7 +6,9 @@
int main(void)
{
- struct term *term = parse("([[((0 1) [(1 0)])]] [0])");
+ struct term *term =
+ parse("([((1 0) 0)] ([[([0] 0)]] [([(0 0)] [(0 0)])]))");
+ // 1-2-6-1-1-4-9-3-1-2-6-2-5-7-1-2-6-3-4-5-11-5-10-9-4-8-10
print_term(term);
printf("\nReduced:\n");
struct term *reduced = reduce(term);