Mark
0 Followers · 0 Following
Repositories
15
 Projects Packages Public Activity Starred Repositories
6
Mark pushed to master at Mark/lamb 2022-11-01 20:49:01 -07:00
d88a7ff77f README
Mark pushed to master at Mark/lamb 2022-11-01 20:47:19 -07:00
d3917b1f58 Version
04880b7724 Did the following:
Compare 2 commits »
Mark pushed to master at Mark/lamb 2022-10-31 15:00:02 -07:00
ecbb8661ce Name cleanup
73b803a1b0 Minor cleanup
c7464076ff Improved full-reduction logic
Compare 3 commits »
Mark pushed to master at Mark/lamb 2022-10-30 22:43:28 -07:00
33c8d5bb66 Updated README
Mark pushed to master at Mark/lamb 2022-10-29 15:45:35 -07:00
8d05de58f7 Updated README
Mark pushed to master at Mark/lamb 2022-10-29 15:44:26 -07:00
01e542f88c Added basic history recall
c58819a7d6 Cleaned up style
Compare 2 commits »
Mark pushed to master at Mark/lamb 2022-10-29 13:25:45 -07:00
09f78a7642 Improved printing
Mark pushed to master at Mark/lamb 2022-10-29 10:25:14 -07:00
81c78d7921 Added macro full-expansion
Mark pushed to master at Mark/lamb 2022-10-28 20:48:23 -07:00
f67d1e2730 Updated README
03e742821d Comments
602bf52983 Better number formatting
4847f0a9a4 Minor improvements
fbf2d6f36d Added a new command
Compare 18 commits »
Mark deleted branch Tree from Mark/lamb 2022-10-28 20:48:04 -07:00
Mark pushed to Tree at Mark/lamb 2022-10-28 20:45:47 -07:00
f67d1e2730 Updated README
03e742821d Comments
Compare 2 commits »
Mark pushed to Tree at Mark/lamb 2022-10-28 20:43:08 -07:00
602bf52983 Better number formatting
Mark pushed to Tree at Mark/lamb 2022-10-28 19:54:23 -07:00
4847f0a9a4 Minor improvements
Mark pushed to Tree at Mark/lamb 2022-10-28 19:47:58 -07:00
fbf2d6f36d Added a new command
Mark pushed to Tree at Mark/lamb 2022-10-28 19:42:39 -07:00
6e17963d91 Changed icon
Mark pushed to Tree at Mark/lamb 2022-10-28 19:05:46 -07:00
393e52327e Added runtime measurement
Mark pushed to Tree at Mark/lamb 2022-10-28 18:58:33 -07:00
6e46f485c1 Added live reduction counter
e41de764e8 Fixed a bug
8871f1430d Fixed a bad macro
Compare 3 commits »
Mark pushed to Tree at Mark/lamb 2022-10-28 16:02:06 -07:00
affcbc33ee Cleanup
Mark pushed to Tree at Mark/lamb 2022-10-28 14:19:45 -07:00
a1d8714f2f Re-integrated a few features
d74922a363 Reorganized nodes
Compare 2 commits »
Mark pushed to Tree at Mark/lamb 2022-10-27 21:06:23 -07:00
8d1abe2712 Fixed a few final bugs