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 |