112 Commits (master)

All Branches

Search

Author	SHA1	Message	Date
Mark	73b803a1b0	Minor cleanup	2022-10-31 08:27:28 -07:00
Mark	c7464076ff	Improved full-reduction logic	2022-10-31 08:20:27 -07:00
Mark	33c8d5bb66	Updated README	2022-10-30 22:43:19 -07:00
Mark	8d05de58f7	Updated README	2022-10-29 15:45:27 -07:00
Mark	01e542f88c	Added basic history recall	2022-10-29 15:44:17 -07:00
Mark	c58819a7d6	Cleaned up style	2022-10-29 15:43:59 -07:00
Mark	09f78a7642	Improved printing	2022-10-29 13:25:37 -07:00
Mark	81c78d7921	Added macro full-expansion	2022-10-29 10:25:06 -07:00
Mark	f67d1e2730	Updated README	2022-10-28 20:45:39 -07:00
Mark	03e742821d	Comments	2022-10-28 20:45:26 -07:00
Mark	602bf52983	Better number formatting	2022-10-28 20:43:00 -07:00
Mark	4847f0a9a4	Minor improvements	2022-10-28 19:48:12 -07:00
Mark	fbf2d6f36d	Added a new command	2022-10-28 19:47:50 -07:00
Mark	6e17963d91	Changed icon	2022-10-28 19:42:32 -07:00
Mark	393e52327e	Added runtime measurement	2022-10-28 19:05:38 -07:00
Mark	6e46f485c1	Added live reduction counter	2022-10-28 18:58:25 -07:00
Mark	e41de764e8	Fixed a bug	2022-10-28 17:40:48 -07:00
Mark	8871f1430d	Fixed a bad macro	2022-10-28 17:40:11 -07:00
Mark	affcbc33ee	Cleanup	2022-10-28 16:01:58 -07:00
Mark	a1d8714f2f	Re-integrated a few features	2022-10-28 14:19:29 -07:00
Mark	d74922a363	Reorganized nodes	2022-10-28 08:33:52 -07:00
Mark	8d1abe2712	Fixed a few final bugs	2022-10-27 21:06:07 -07:00
Mark	0dae1afb61	Added tree iterator, cloning	2022-10-27 20:48:03 -07:00
Mark	a991c3bb91	Rewrite continues	2022-10-25 13:26:55 -07:00
Mark	455e447999	Added variable binding	2022-10-23 11:24:27 -07:00
Mark	c5df3fcbed	Started conversion to Tree reduction	2022-10-23 08:53:26 -07:00
Mark	044ec60a49	Added RecursionError handling and macro name check	2022-10-22 19:16:46 -07:00
Mark	123d885adf	Rearranged code	2022-10-22 18:53:40 -07:00
Mark	239aa210c5	Added a few macros	2022-10-22 18:21:07 -07:00
Mark	31ce605674	Changed church handling	2022-10-22 18:20:48 -07:00
Mark	6a8d057425	Updated README	2022-10-22 14:38:39 -07:00
Mark	657d5b66af	Fixed a bug	2022-10-22 13:07:31 -07:00
Mark	218af2cd49	Cleaned up parser	2022-10-22 12:59:42 -07:00
Mark	3cd0762d16	Prettier help message	2022-10-22 09:54:50 -07:00
Mark	fa02c2aa5b	Made commands more powerful, added :load and :save	2022-10-22 09:50:04 -07:00
Mark	1bbca094dd	Added basic lexer	2022-10-22 08:45:27 -07:00
Mark	0ef0e8e585	Cleaned up commands and styling	2022-10-22 08:37:19 -07:00
Mark	d11c9a5a7e	Improved parser	2022-10-22 08:28:05 -07:00
Mark	a7078f9a77	Added mdel command	2022-10-22 07:48:17 -07:00
Mark	8da3282edf	updated README	2022-10-21 21:07:56 -07:00
Mark	e1b79cd59a	Cleanup & build files	2022-10-21 21:01:06 -07:00
Mark	8558c484c5	Fixed parser, added macro printout	2022-10-21 19:55:15 -07:00
Mark	ee744b5245	Type fixes	2022-10-21 19:39:45 -07:00
Mark	b5d97cf5c6	Added Church numeral generation	2022-10-21 19:39:37 -07:00
Mark	7a1077e371	Added error handling	2022-10-21 19:24:47 -07:00
Mark	ef19fc42a6	Added support for curry shorthand	2022-10-21 19:13:07 -07:00
Mark	3ff496e1d6	Added a few commands	2022-10-21 17:55:31 -07:00
Mark	84c5229fbf	Updated README	2022-10-21 17:14:20 -07:00
Mark	a4af47435a	Improved macro reduction	2022-10-21 17:13:58 -07:00
Mark	01632f6ec3	Updated README	2022-10-21 17:13:35 -07:00