77 Commits (6fd315a9fe163038ee9257fd2700b45a0d004b1d)

Author	SHA1	Message	Date
Mark	193a2db294	Updated TODO	2023-06-13 21:24:04 -07:00
Mark	9fdabb80d3	Added constant generation	2023-06-13 20:15:10 -07:00
Mark	86a3f506ba	Updated TODO	2023-06-13 09:17:57 -07:00
Mark	088853014e	Updated TODO	2023-06-13 09:12:50 -07:00
Mark	3be661bbb5	Updated TODO	2023-06-12 15:01:49 -07:00
Mark	28c1a84b80	Fixed variable names	2023-06-11 16:52:23 -07:00
Mark	e59cfac837	Updated todo	2023-06-11 16:45:36 -07:00
Mark	e816cea236	Fixed unit multiplication prettyprint	2023-06-11 15:16:00 -07:00
Mark	b886927334	Updated TODO	2023-06-11 15:05:23 -07:00
Mark	3294d4d5fb	Updated TODO	2023-06-11 14:24:56 -07:00
Mark	5c2dab4b53	Updated TODO	2023-06-11 13:53:53 -07:00
Mark	754c08dbf8	Updated TODO	2023-06-07 15:23:50 -07:00
Mark	102e619d1a	Minor edits	2023-05-15 10:05:46 -07:00
Mark	27100ab4cf	Updated TODO	2023-04-13 20:48:51 -07:00
Mark	1e304417c5	Updated TODO	2023-04-13 14:10:53 -07:00
Mark	7560b7a931	Updated TODO	2023-04-13 11:49:47 -07:00
Mark	0134bc5c12	Updated TODO	2023-04-10 18:53:22 -07:00
Mark	ba2465dc5e	Updated TODO	2023-04-10 14:02:21 -07:00
Mark	6f52f0f002	Edited TODO	2023-04-10 12:48:49 -07:00
Mark	2fb25fb742	Updated TODO	2023-04-08 20:48:55 -07:00
Mark	f8e2c32f9a	Updated TODO	2023-04-07 18:17:08 -07:00
Mark	4dba794712	Updated todo	2023-04-07 11:42:44 -07:00
Mark	77157925fe	Improved tests	2023-04-07 09:42:50 -07:00
Mark	aeacd8746d	Fixed negation	2023-04-07 08:46:44 -07:00
Mark	2d42d7ea80	Updated TODO	2023-04-06 10:49:37 -07:00
Mark	698b77fa9e	Updated TODO	2023-04-06 10:42:50 -07:00
Mark	a7d1dd381e	Updated README	2023-04-06 10:39:36 -07:00