1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 7ff90d2..96eaf5f 100644
--- a/src/main.c
+++ b/src/main.c
@@ -2,11 +2,15 @@
 
 #include <parse.h>
 #include <term.h>
+#include <reducer.h>
 
 int main(void)
 {
 	struct term *term = parse("([[((0 1) [(1 0)])]] [0])");
 	print_term(term);
+	printf("\nReduced:\n");
+	struct term *reduced = reduce(term);
+	print_term(reduced);
 	printf("\n");
 	free_term(term);
 	return 0;