From 931d43ea9c4d7e3b28c379c19ef7334f0e4e7eff Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 08:54:07 -0700
Subject: [PATCH 01/14] Fixed space leak

---
 examples/hello.modal     | 3 +--
 examples/tictactoe.modal | 2 +-
 src/modal.c              | 3 +++
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/examples/hello.modal b/examples/hello.modal
index ce71e00..1ddb7ae 100644
--- a/examples/hello.modal
+++ b/examples/hello.modal
@@ -2,5 +2,4 @@
 <> (?: print $) (?:)
 <> ($ ?x) (?x $)
 
-$ (Welcome to NAME
-Have fun!\n\n) print
\ No newline at end of file
+$ (Welcome to NAME \nHave fun!\n\n) print
\ No newline at end of file
diff --git a/examples/tictactoe.modal b/examples/tictactoe.modal
index d76448b..6991bbe 100644
--- a/examples/tictactoe.modal
+++ b/examples/tictactoe.modal
@@ -40,5 +40,5 @@
 
 -- (Interface)
 
-(put-str (Input a move, like "X 0 1":\n))
+((Input a move, like "X 0 1":\n) put-str)
 ((- - -) (- - -) (- - -)) ready 
diff --git a/src/modal.c b/src/modal.c
index 24e3235..8c73066 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -76,11 +76,13 @@ put_reg(char r)
 	} else if(s) {
 		char *ss = walk(s);
 		if(r == ':') {
+			if(*(outp_ - 1) == ' ') outp_--;
 			if(*s == '(') s++, --ss;
 			while(s < ss) {
 				char c = *s++;
 				if(c == '\\') {
 					switch(*s++) {
+					case 't': putc(0x09, stdout); break;
 					case 'n': putc(0x0a, stdout); break;
 					case 's': putc(0x20, stdout); break;
 					}
@@ -209,6 +211,7 @@ main(int argc, char **argv)
 	if(!(f = fopen(argv[1], "r")))
 		return !printf("Invalid Modal file: %s.\n", argv[1]);
 	while(fread(&c, 1, 1, f)) {
+		c = c <= 0x20 ? 0x20 : c;
 		if(w > bank_a) {
 			if(c == ' ' && *(w - 1) == '(') continue;
 			if(c == ')' && *(w - 1) == ' ') w--;

From 9c9814d6f749f913a8d760a22b6c57c52f303baa Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 09:29:03 -0700
Subject: [PATCH 02/14] Do not pick up on varibles when part of words

---
 src/modal.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index 8c73066..ae56375 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -138,10 +138,10 @@ write_rule(Rule *r, char last, char *res)
 	char cc, *b = r->b;
 	if(!*b && last == ' ') outp_--;
 	while((cc = *b++))
-		if(cc == '?')
+		if(spacer(last) && cc == '?')
 			put_reg(*b++);
 		else
-			*outp_++ = cc;
+			*outp_++ = cc, last = cc;
 	return commit_rule(r, res, 0);
 }
 

From 86bc540ee227bbbb7c1b9bb91388c8dc13b6e33b Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 09:34:55 -0700
Subject: [PATCH 03/14] Generalized space-eating writing

---
 src/modal.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index ae56375..fa9c848 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -76,7 +76,6 @@ put_reg(char r)
 	} else if(s) {
 		char *ss = walk(s);
 		if(r == ':') {
-			if(*(outp_ - 1) == ' ') outp_--;
 			if(*s == '(') s++, --ss;
 			while(s < ss) {
 				char c = *s++;
@@ -135,13 +134,13 @@ commit_rule(Rule *r, char *s, int create)
 static int
 write_rule(Rule *r, char last, char *res)
 {
-	char cc, *b = r->b;
-	if(!*b && last == ' ') outp_--;
+	char cc, *b = r->b, *origin = outp_;
 	while((cc = *b++))
 		if(spacer(last) && cc == '?')
 			put_reg(*b++);
 		else
 			*outp_++ = cc, last = cc;
+	if(last == ' ' && outp_ - origin == 0) outp_--;
 	return commit_rule(r, res, 0);
 }
 

From dfbb9c4fac99699a2ec9a2f27203bb181f1e2c21 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 09:45:53 -0700
Subject: [PATCH 04/14] Only test for registers following a spacer

---
 src/modal.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index fa9c848..5004d94 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -98,17 +98,17 @@ static char *
 match_rule(Rule *r, char *p)
 {
 	int i;
-	char c, *a = r->a, *b = p;
+	char c, last = 0, *a = r->a, *b = p;
 	for(i = 0x21; i < 0x7f; i++)
 		regs[i] = 0;
 	while((c = *a)) {
-		if(c == '?') {
+		if(spacer(last) && c == '?') {
 			if(!set_reg(*(++a), b)) return NULL;
 			a++, b = walk(b);
 			continue;
 		}
 		if(*a != *b) return NULL;
-		a++, b++;
+		a++, b++, last = c;
 	}
 	c = *b;
 	return spacer(c) ? b : NULL;

From 8bdb79136542bd04a25b19f5197b96697745c168 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 09:56:07 -0700
Subject: [PATCH 05/14] Housekeeping

---
 src/modal.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index 5004d94..1099210 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -134,12 +134,12 @@ commit_rule(Rule *r, char *s, int create)
 static int
 write_rule(Rule *r, char last, char *res)
 {
-	char cc, *b = r->b, *origin = outp_;
-	while((cc = *b++))
-		if(spacer(last) && cc == '?')
+	char c, *b = r->b, *origin = outp_;
+	while((c = *b++))
+		if(spacer(last) && c == '?')
 			put_reg(*b++);
 		else
-			*outp_++ = cc, last = cc;
+			*outp_++ = c, last = c;
 	if(last == ' ' && outp_ - origin == 0) outp_--;
 	return commit_rule(r, res, 0);
 }

From 5249d7612d12e08eb7b7d89d6d7cbc1d28b0cd97 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 10:07:42 -0700
Subject: [PATCH 06/14] Do not walk whitespace on create_rule

---
 src/modal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modal.c b/src/modal.c
index 1099210..cf5c211 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -163,7 +163,6 @@ create_rule(Rule *r, int id, char *s)
 	char c;
 	r->id = id, s += 2;
 	r->a = dict_, s = parse_frag(s), r->b = dict_, s = parse_frag(s);
-	while((c = *s) && c <= ' ') s++;
 	return s;
 }
 
@@ -178,6 +177,7 @@ rewrite(void)
 			if(s[0] == '<' && s[1] == '>') {
 				r = rules_++;
 				s = create_rule(r, rules_ - rules - 1, s);
+				while((c = *s) && c <= ' ') s++;
 				return commit_rule(r, s, 1);
 			}
 			if(s[0] == '?' && s[1] == '(') {

From ea9935babbe977bf5d980d06fc84f30523b3740a Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 10:30:59 -0700
Subject: [PATCH 07/14] Allow for empty right-hand side rules

---
 src/modal.c | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index cf5c211..76eaab9 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -19,7 +19,7 @@ walk(char *s)
 {
 	char c;
 	int depth = 0;
-	if(s[0] == '(') {
+	if(*s == '(') {
 		while((c = *s++)) {
 			if(c == '(') depth++;
 			if(c == ')') --depth;
@@ -36,7 +36,7 @@ plode(char *s)
 	int i, depth = 0;
 	char c, *ss;
 	/* implode */
-	if(s[0] == '(') {
+	if(*s == '(') {
 		ss = walk(s);
 		while(s < ss && (c = *s++))
 			if(!spacer(c)) *outp_++ = c;
@@ -149,20 +149,22 @@ parse_frag(char *s)
 {
 	char c, *ss;
 	while((c = *s) && c <= ' ') s++;
-	ss = walk(s);
-	if(*s == '(') s++, ss--;
-	while(s < ss) *dict_++ = *s++;
+	if(*s != ')' && *s != '<' && s[1] != '>') {
+		ss = walk(s);
+		if(*s == '(') s++, ss--;
+		while(s < ss) *dict_++ = *s++;
+		s++;
+	}
 	*dict_++ = 0;
-	s++;
 	return s;
 }
 
 static char *
 create_rule(Rule *r, int id, char *s)
 {
-	char c;
 	r->id = id, s += 2;
-	r->a = dict_, s = parse_frag(s), r->b = dict_, s = parse_frag(s);
+	r->a = dict_, s = parse_frag(s);
+	r->b = dict_, s = parse_frag(s);
 	return s;
 }
 
@@ -174,13 +176,13 @@ rewrite(void)
 	while((c = *s)) {
 		if(spacer(last)) {
 			Rule *r;
-			if(s[0] == '<' && s[1] == '>') {
+			if(*s == '<' && s[1] == '>') {
 				r = rules_++;
 				s = create_rule(r, rules_ - rules - 1, s);
 				while((c = *s) && c <= ' ') s++;
 				return commit_rule(r, s, 1);
 			}
-			if(s[0] == '?' && s[1] == '(') {
+			if(*s == '?' && s[1] == '(') {
 				r = &lambda, cap = walk(s + 1);
 				create_rule(&lambda, -1, s), s = cap;
 				while((c = *s) && c <= ' ') s++;

From fed55d58b359bda1bc876abb0bcc339429dd8c99 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 12 Apr 2024 14:35:29 -0700
Subject: [PATCH 08/14] Added missing rune in empty register writing

---
 src/modal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modal.c b/src/modal.c
index 76eaab9..5277c35 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -91,7 +91,7 @@ put_reg(char r)
 		} else
 			while(s < ss) *outp_++ = *s++;
 	} else
-		*outp_++ = r;
+		*outp_++ = '?', *outp_++ = r;
 }
 
 static char *

From e897e59f7afb7f0434680b7bf7a0717d6f003dab Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 16:12:55 -0700
Subject: [PATCH 09/14] Fixed issue with empty plode register

---
 examples/multiply.modal   | 199 ++++++++++++++++++++++++++++++++++++++
 examples/sierpinski.modal |  50 ++++++++++
 makefile                  |   4 +-
 src/modal.c               |  46 ++++-----
 4 files changed, 270 insertions(+), 29 deletions(-)
 create mode 100644 examples/multiply.modal
 create mode 100644 examples/sierpinski.modal

diff --git a/examples/multiply.modal b/examples/multiply.modal
new file mode 100644
index 0000000..790dd09
--- /dev/null
+++ b/examples/multiply.modal
@@ -0,0 +1,199 @@
+<> (-- ?x) ()
+-- ( little endian binary integers )
+
+-- ( constants )
+<> zero ((0 ()))
+<> one ((1 ()))
+<> ten ((0 (1 (0 (1 ())))))
+
+-- ( decimal digit to binary )
+<> ((binary 0)) ((0 ()))
+<> ((binary 1)) ((1 ()))
+<> ((binary 2)) ((0 (1 ())))
+<> ((binary 3)) ((1 (1 ())))
+<> ((binary 4)) ((0 (0 (1 ()))))
+<> ((binary 5)) ((1 (0 (1 ()))))
+<> ((binary 6)) ((0 (1 (1 ()))))
+<> ((binary 7)) ((1 (1 (1 ()))))
+<> ((binary 8)) ((0 (0 (0 (1 ())))))
+<> ((binary 9)) ((1 (0 (0 (1 ())))))
+
+-- ( binary to decimal digit )
+<> ((decimal (0 ()))) (0)
+<> ((decimal (1 ()))) (1)
+<> ((decimal (0 (1 ())))) (2)
+<> ((decimal (1 (1 ())))) (3)
+<> ((decimal (0 (0 (1 ()))))) (4)
+<> ((decimal (1 (0 (1 ()))))) (5)
+<> ((decimal (0 (1 (1 ()))))) (6)
+<> ((decimal (1 (1 (1 ()))))) (7)
+<> ((decimal (0 (0 (0 (1 ())))))) (8)
+<> ((decimal (1 (0 (0 (1 ())))))) (9)
+
+-- reverse ()-terminated list
+<> (reverse ?x) (reverse1 () ?x)
+<> (reverse1 ?a ()) (?a)
+<> (reverse1 ?a (?h ?t)) (reverse1 (?h ?a) ?t)
+
+-- ( to integer )
+<> ((int ?*)) ((sum f (one) g reverse (?*)))
+<> (g ()) (())
+<> (g (?h ?t)) (((binary ?h) g ?t))
+<> (f (?u) ()) (()) 
+<> (f (?u) (?h ?t)) (((mul ?h ?u) f ((mul ?u ten)) ?t))
+
+-- ( to binary str )
+-- ( <> ((bstr ?x)) (emit force (0 (b  ?x))) )
+-- ( <> ((bstr ?x)) ((bstr1 () ?x)) )
+<> ((bstr ?x)) ((bstr1 force ?x ()))
+<> ((bstr1 force/r () ?a)) (emit force/r (0 (b ?a)))
+<> ((bstr1 force/r (?h ?t) ?a)) ((bstr1 force/r ?t (?h ?a)))
+
+-- ( to string: TODO, need division for this one )
+<> ((str ?x)) ((str1 ?x ()))
+<> ((str1 (0 ()) ?a)) (emit force ?a)
+<> ((str1 (?h ?t) ?a)) ((str2 (divmod (?h ?t) ten) ?a))
+<> ((str2 (?q ?r) ?a)) ((str1 ?q ((decimal ?r) ?a)))
+
+-- ( force a list to evaluate to digits/letters )
+<> ((?h force/r ?t)) (force/r (?h ?t))
+<> (force ()) (force/r ())
+<> (force (0 ?t)) ((0 force ?t))
+<> (force (1 ?t)) ((1 force ?t))
+<> (force (2 ?t)) ((2 force ?t))
+<> (force (3 ?t)) ((3 force ?t))
+<> (force (4 ?t)) ((4 force ?t))
+<> (force (5 ?t)) ((5 force ?t))
+<> (force (6 ?t)) ((6 force ?t))
+<> (force (7 ?t)) ((7 force ?t))
+<> (force (8 ?t)) ((8 force ?t))
+<> (force (9 ?t)) ((9 force ?t))
+<> (force (a ?t)) ((a force ?t))
+<> (force (b ?t)) ((b force ?t))
+<> (force (c ?t)) ((c force ?t))
+<> (force (d ?t)) ((d force ?t))
+<> (force (e ?t)) ((e force ?t))
+<> (force (f ?t)) ((f force ?t))
+<> (force (x ?t)) ((x force ?t))
+
+-- ( emit )
+<> (emit force/r ?*) (?*)
+
+-- ( comparison operartions )
+<> ((cmp ?x ?y)) ((cmpc #eq ?x ?y))
+<> ((cmpc ?e () ())) (?e)
+<> ((cmpc ?e (1 ?x) ())) (#gt)
+<> ((cmpc ?e (0 ?x) ())) ((cmpc ?e ?x ()))
+<> ((cmpc ?e () (1 ?y))) (#lt)
+<> ((cmpc ?e () (0 ?y))) ((cmpc ?e () ?y))
+<> ((cmpc ?e (0 ?x) (0 ?y))) ((cmpc ?e ?x ?y))
+<> ((cmpc ?e (1 ?x) (0 ?y))) ((cmpc #gt ?x ?y))
+<> ((cmpc ?e (0 ?x) (1 ?y))) ((cmpc #lt ?x ?y))
+<> ((cmpc ?e (1 ?x) (1 ?y))) ((cmpc ?e ?x ?y))
+
+-- ( addition )
+<> ((add ?x ?y)) ((addc 0 ?x ?y))
+<> ((addc 0 () ())) (())
+<> ((addc 1 () ())) ((1 ()))
+-- ( <> ((addc ?c ?x ())) ((addc ?c ?x (0 ()))) )
+-- ( <> ((addc ?c () ?y)) ((addc ?c (0 ()) ?y)) )
+<> ((addc 0 ?x ())) (?x)
+<> ((addc 0 () ?y)) (?y)
+<> ((addc 1 ?x ())) ((addc 1 ?x (0 ())))
+<> ((addc 1 () ?y)) ((addc 1 (0 ()) ?y))
+<> ((addc 0 (0 ?x) (0 ?y))) ((0 (addc 0 ?x ?y)))
+<> ((addc 0 (0 ?x) (1 ?y))) ((1 (addc 0 ?x ?y)))
+<> ((addc 0 (1 ?x) (0 ?y))) ((1 (addc 0 ?x ?y)))
+<> ((addc 0 (1 ?x) (1 ?y))) ((0 (addc 1 ?x ?y)))
+<> ((addc 1 (0 ?x) (0 ?y))) ((1 (addc 0 ?x ?y)))
+<> ((addc 1 (0 ?x) (1 ?y))) ((0 (addc 1 ?x ?y)))
+<> ((addc 1 (1 ?x) (0 ?y))) ((0 (addc 1 ?x ?y)))
+<> ((addc 1 (1 ?x) (1 ?y))) ((1 (addc 1 ?x ?y)))
+
+-- ( summation )
+<> ((sum ())) ((0 ()))
+<> ((sum (?a ()))) (?a)
+<> ((sum (?a (?b ?c)))) ((sum ((add ?a ?b) ?c)))
+
+-- ( multiplication )
+<> ((mul ?x ?y)) ((mulc () ?x ?y))
+<> ((mulc ?t () ?y)) ((sum ?t))
+<> ((mulc ?t (0 ?x) ?y)) ((mulc ?t ?x (0 ?y)))
+<> ((mulc ?t (1 ?x) ?y)) ((mulc (?y ?t) ?x (0 ?y)))
+
+-- ( subtraction )
+<> ((sub ?x ?y)) (sub1 0 ?x ?y ())
+<> (sub1 0 () () ?s) (())
+<> (sub1 1 () () ?s) (#err)
+<> (sub1 ?c ?x () ?s) (sub1 ?c ?x (0 ()) ?s)
+<> (sub1 ?c () ?y ?s) (sub1 ?c (0 ()) ?y ?s)
+<> (sub1 0 (0 ?x) (0 ?y) ?s) (sub1 0 ?x ?y (0 ?s))
+<> (sub1 0 (0 ?x) (1 ?y) ?s) (sub2 1 ?x ?y ?s)
+<> (sub1 0 (1 ?x) (0 ?y) ?s) (sub2 0 ?x ?y ?s)
+<> (sub1 0 (1 ?x) (1 ?y) ?s) (sub1 0 ?x ?y (0 ?s))
+<> (sub1 1 (0 ?x) (0 ?y) ?s) (sub2 1 ?x ?y ?s)
+<> (sub1 1 (0 ?x) (1 ?y) ?s) (sub1 1 ?x ?y (0 ?s))
+<> (sub1 1 (1 ?x) (0 ?y) ?s) (sub1 0 ?x ?y (0 ?s))
+<> (sub1 1 (1 ?x) (1 ?y) ?s) (sub2 1 ?x ?y ?s)
+<> (sub2 ?c ?x ?y ()) ((1 sub1 ?c ?x ?y ()))
+<> (sub2 ?c ?x ?y (?h ?t)) ((0 sub2 ?c ?x ?y ?t))
+
+<> (dec (0 ())) (#err)
+<> (dec (1 ())) ((0 ()))
+<> (dec (1 ?t)) ((0 ?t))
+<> (dec (0 ?t)) (dec1 (0 ?t))
+<> (dec1 (1 ())) (())
+<> (dec1 (1 ?t)) ((0 ?t))
+<> (dec1 (0 ?t)) ((1 dec1 ?t))
+
+-- ( inc )
+<> ((inc ())) ((1 ()))
+<> ((inc (0 ?t))) ((1 ?t))
+<> ((inc (1 ?t))) ((0 (inc ?t)))
+
+-- ( left shift; lshift x b means x<<b )
+<> ((lshift ?x (0 ()))) (?x)
+<> ((lshift ?x (1 ()))) ((0 ?x))
+<> ((lshift ?x (0 (?a ?b)))) ((lshift (0 ?x) dec (0 (?a ?b))))
+<> ((lshift ?x (1 (?a ?b)))) ((lshift (0 ?x) (0 (?a ?b))))
+
+<> ((rshift1 (?a ()))) ((0 ()))
+<> ((rshift1 (?a (?b ?c)))) ((?b ?c))
+
+-- ( divmod, i.e. quotient and remainder )
+-- ( x is the dividend, or what's left of it )
+-- ( y is the divisor )
+-- ( s is the number of bits to shift, so far )
+-- ( o is the next valuet o add to the quotient )
+-- ( m is the next multiple of y to work with )
+-- ( d is the quotient, so far )
+<> ((divmod ?x ?y)) ((divmod1 ?x ?y (cmp ?x ?y)))
+<> ((divmod1 ?x ?y #lt)) ((zero ?x))
+<> ((divmod1 ?x ?y #eq)) ((one zero))
+<> ((divmod1 ?x ?y #gt)) ((divmod2 ?x ?y zero ?y))
+
+<> ((divmod2 ?x ?y ?s ?m)) ((divmod3 ?x ?y ?s ?m (cmp ?x (0 ?m))))
+<> ((divmod3 ?x ?y ?s ?m #gt)) ((divmod2 ?x ?y (inc ?s) (0 ?m)))
+<> ((divmod3 ?x ?y ?s ?m #eq)) ((divmod4 ?x ?y (inc ?s) (0 ?m) zero))
+<> ((divmod3 ?x ?y ?s ?m #lt)) ((divmod4 ?x ?y ?s ?m zero))
+
+<> ((divmod4 ?x ?y (0 ()) ?m ?d)) (((add ?d one) (sub ?x ?y)))
+<> ((divmod4 ?x ?y ?s ?m ?d)) ((divmod5 (sub ?x ?m) ?y dec ?s (rshift1 ?m) (add ?d (lshift one ?s))))
+
+<> ((divmod5 (0 ()) ?y ?s ?m ?d)) ((?d (0 ())))
+<> ((divmod5 ?x ?y ?s ?m ?d)) ((divmod6 ?x ?y ?s ?m ?d (cmp ?x ?m)))
+
+<> ((divmod6 ?x ?y (0 ()) ?m ?d #lt)) ((?d ?x))
+<> ((divmod6 ?x ?y ?s ?m ?d #lt)) ((divmod5 ?x ?y dec ?s (rshift1 ?m) ?d))
+<> ((divmod6 ?x ?y ?s ?m ?d #eq)) ((divmod4 ?x ?y ?s ?m ?d))
+<> ((divmod6 ?x ?y ?s ?m ?d #gt)) ((divmod4 ?x ?y ?s ?m ?d))
+
+-- ( floor divison )
+<> ((div ?x ?y)) ((div1 (divmod ?x ?y)))
+<> ((div1 (?q ?r))) (?q)
+
+-- ( remainder )
+<> ((mod ?x ?y)) ((mod1 (divmod ?x ?y)))
+<> ((mod1 (?q ?r))) (?r)
+
+(bstr (mul (int 123456789) (int 987654321)))
\ No newline at end of file
diff --git a/examples/sierpinski.modal b/examples/sierpinski.modal
new file mode 100644
index 0000000..15cc210
--- /dev/null
+++ b/examples/sierpinski.modal
@@ -0,0 +1,50 @@
+<> (written by) (capital)
+<> (?: print) (?:)
+
+<> (?* explode) ((List (?*)))
+<> ((List ?*) implode)  (?*)
+
+<> (MkEmpty) (_________________________________ explode)
+
+<> ((List (?1 (?2 ?l))) MkWindow) ((Window (?1 ?2) ?l))
+
+<> ((Window (?1 ?2) (     )) roll) ((WindowExhausted))
+<> ((Window (?1 ?2) (?3   )) roll) ((Window (?1 ?2 ?3) ()))
+<> ((Window (?1 ?2) (?3 ?l)) roll) ((Window (?1 ?2 ?3) ?l))
+
+<> ((Window (?1 ?2 ?3) (     )) roll) ((Window (?2 ?3   ) ()))
+<> ((Window (?1 ?2 ?3) (?4   )) roll) ((Window (?2 ?3 ?4) ()))
+<> ((Window (?1 ?2 ?3) (?4 ?l)) roll) ((Window (?2 ?3 ?4) ?l))
+
+
+<> (?p apply-rule) ((Rule (?p explode MkWindow MkEmpty apply-rule)) implode)
+<> ((Window (?1 ?2 ?3) ()) (List (?h ?t)) apply-rule) ((?1 ?2 ?3) cell-state ((?2 ?3) cell-state (Rule')))
+<> ((Window     ?v     ?l) (List (?h ?t)) apply-rule) (    ?v     cell-state ((Window ?v ?l) roll (List ?t) apply-rule))
+
+<> (Rule (Rule' ?l)) (List ?l)
+<> (?y   (Rule'   )) (Rule' (?y))
+<> (?x   (Rule' ?y)) (Rule' (?x ?y))
+
+<> ((* * *) cell-state) (_)
+<> ((* * _) cell-state) (*)
+<> ((* _ *) cell-state) (_)
+<> ((* _ _) cell-state) (*)
+<> ((_ * *) cell-state) (*)
+<> ((_ * _) cell-state) (_)
+<> ((_ _ *) cell-state) (*)
+<> ((_ _ _) cell-state) (_)
+
+<> ((* _) cell-state) (*)
+<> ((_ *) cell-state) (*)
+<> ((_ _) cell-state) (_)
+
+<> ((Gas ?f) ?p (?r) MkTriangle) ((Triangle ((Gas ?f) ?p (?r) build)))
+<> ((Gas (?g ?f)) ?p (?r) build) (?p ((Gas ?f) ?p ?r (?r) build))
+<> ((Gas (Empty)) ?p ?r build) (?p (Triangle'))
+
+<> (Triangle (Triangle' ?l)) (List (\n ?l))
+<> (?y       (Triangle'   )) (Triangle' (?y (\n (\n))))
+<> (?x       (Triangle' ?y)) (Triangle' (?x (\n ?y)))
+
+
+(Gas (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (Empty))))))))))))))))) ________________*________________ (apply-rule) MkTriangle implode print
\ No newline at end of file
diff --git a/makefile b/makefile
index 85aa564..748271f 100644
--- a/makefile
+++ b/makefile
@@ -8,11 +8,11 @@ all: dest
 dest:
 	@ mkdir -p bin
 run: all bin/modal
-	@ bin/modal examples/hello.modal 2> /dev/null
+	@ bin/modal examples/hello.modal 
 test: bin/modal-debug bin/modal
 	@ bin/modal -v
 	@ bin/modal-debug examples/test.modal "(arg1) (arg2 (arg3))"
-	@ bin/modal examples/test.modal
+	@ bin/modal examples/test.modal 2> /dev/null
 install: bin/modal
 	cp bin/modal ~/bin/
 uninstall:
diff --git a/src/modal.c b/src/modal.c
index 5277c35..7688d6e 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -30,27 +30,6 @@ walk(char *s)
 	return s;
 }
 
-static char *
-plode(char *s)
-{
-	int i, depth = 0;
-	char c, *ss;
-	/* implode */
-	if(*s == '(') {
-		ss = walk(s);
-		while(s < ss && (c = *s++))
-			if(!spacer(c)) *outp_++ = c;
-	}
-	/* explode */
-	else {
-		while((c = *s++) && !spacer(c))
-			*outp_++ = c, *outp_++ = ' ', *outp_++ = '(', depth++;
-		for(i = 0; i < depth; i++)
-			*outp_++ = ')';
-	}
-	return s;
-}
-
 static int
 set_reg(int r, char *b)
 {
@@ -66,19 +45,32 @@ set_reg(int r, char *b)
 static void
 put_reg(char r)
 {
-	char *s = regs[(int)r];
-	if(r == '*')
-		s = plode(s);
-	else if(r == '~') {
+	char c, *s = regs[(int)r];
+	if(r == '~') {
 		char buf;
 		while(fread(&buf, 1, 1, stdin) && buf >= ' ')
 			*outp_++ = buf;
 	} else if(s) {
 		char *ss = walk(s);
-		if(r == ':') {
+		if(r == '*') {
+			/* implode */
+			if(*s == '(') {
+				ss = walk(s);
+				while(s < ss && (c = *s++))
+					if(!spacer(c)) *outp_++ = c;
+			}
+			/* explode */
+			else {
+				int i, depth = 0;
+				while((c = *s++) && !spacer(c))
+					*outp_++ = c, *outp_++ = ' ', *outp_++ = '(', depth++;
+				for(i = 0; i < depth; i++)
+					*outp_++ = ')';
+			}
+		} else if(r == ':') {
 			if(*s == '(') s++, --ss;
 			while(s < ss) {
-				char c = *s++;
+				c = *s++;
 				if(c == '\\') {
 					switch(*s++) {
 					case 't': putc(0x09, stdout); break;

From 70e96e96440e058b6d32a0068a126f56546a2dca Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 16:16:47 -0700
Subject: [PATCH 10/14] Added comments for special registers

---
 src/modal.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index 7688d6e..a414cce 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -48,18 +48,19 @@ put_reg(char r)
 	char c, *s = regs[(int)r];
 	if(r == '~') {
 		char buf;
+		/* special stdin */
 		while(fread(&buf, 1, 1, stdin) && buf >= ' ')
 			*outp_++ = buf;
 	} else if(s) {
 		char *ss = walk(s);
 		if(r == '*') {
-			/* implode */
+			/* special implode */
 			if(*s == '(') {
 				ss = walk(s);
 				while(s < ss && (c = *s++))
 					if(!spacer(c)) *outp_++ = c;
 			}
-			/* explode */
+			/* special explode */
 			else {
 				int i, depth = 0;
 				while((c = *s++) && !spacer(c))
@@ -68,6 +69,7 @@ put_reg(char r)
 					*outp_++ = ')';
 			}
 		} else if(r == ':') {
+			/* special stdout */
 			if(*s == '(') s++, --ss;
 			while(s < ss) {
 				c = *s++;

From 42fd486a41f4abaf30fb236f11ea60e890827faa Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 16:22:37 -0700
Subject: [PATCH 11/14] Do not walk twice for explode

---
 src/modal.c | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index a414cce..bb71d33 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -47,16 +47,14 @@ put_reg(char r)
 {
 	char c, *s = regs[(int)r];
 	if(r == '~') {
-		char buf;
 		/* special stdin */
-		while(fread(&buf, 1, 1, stdin) && buf >= ' ')
-			*outp_++ = buf;
+		while(fread(&c, 1, 1, stdin) && c >= ' ')
+			*outp_++ = c;
 	} else if(s) {
 		char *ss = walk(s);
 		if(r == '*') {
 			/* special implode */
 			if(*s == '(') {
-				ss = walk(s);
 				while(s < ss && (c = *s++))
 					if(!spacer(c)) *outp_++ = c;
 			}

From 7e7e455b03c2cb8cfd6d2325465a48406c83a772 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 16:25:19 -0700
Subject: [PATCH 12/14] Attempt at spacing out special characters

---
 src/modal.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/modal.c b/src/modal.c
index bb71d33..c763ae4 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -210,7 +210,10 @@ main(int argc, char **argv)
 			if(c == ')' && *(w - 1) == ' ') w--;
 			if(c == ' ' && *(w - 1) == ' ') w--;
 		}
-		*w++ = c;
+		if(c == '[' || c == ']' || c == '{' || c == '}')
+			*w++ = ' ', *w++ = c, *w++ = ' ';
+		else
+			*w++ = c;
 	}
 	while(*(--w) <= ' ') *w = 0;
 	fclose(f);

From cbfa3be00d3bd505093350cae9e224e805fd6256 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 16:25:55 -0700
Subject: [PATCH 13/14] Updated date

---
 src/modal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modal.c b/src/modal.c
index c763ae4..570da51 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -200,7 +200,7 @@ main(int argc, char **argv)
 	if(argc < 2)
 		return !printf("usage: modal [-v] source.modal\n");
 	if(argc < 3 && argv[1][0] == '-' && argv[1][1] == 'v')
-		return !printf("Modal Interpreter, 12 Apr 2024.\n");
+		return !printf("Modal Interpreter, 13 Apr 2024.\n");
 	if(!(f = fopen(argv[1], "r")))
 		return !printf("Invalid Modal file: %s.\n", argv[1]);
 	while(fread(&c, 1, 1, f)) {

From 8ccb19d897dfb060993f67cc985aabf4f427b313 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Sat, 13 Apr 2024 19:28:39 -0700
Subject: [PATCH 14/14] Removed padding of curlies and square brackets

---
 src/modal.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/modal.c b/src/modal.c
index 570da51..15d97a2 100644
--- a/src/modal.c
+++ b/src/modal.c
@@ -210,10 +210,7 @@ main(int argc, char **argv)
 			if(c == ')' && *(w - 1) == ' ') w--;
 			if(c == ' ' && *(w - 1) == ' ') w--;
 		}
-		if(c == '[' || c == ']' || c == '{' || c == '}')
-			*w++ = ' ', *w++ = c, *w++ = ' ';
-		else
-			*w++ = c;
+		*w++ = c;
 	}
 	while(*(--w) <= ' ') *w = 0;
 	fclose(f);