casual - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	initial work on term rewrite rule parsingHEAD master	Bryan Newbold	2021-11-13	2	-0/+218
\|
*	notes on term rewriting	Bryan Newbold	2021-11-11	1	-0/+54
\|
*	commit old plan file	Bryan Newbold	2021-11-11	1	-0/+65
\|
*	more canonicalization tests, from old plan.txt	Bryan Newbold	2021-11-11	1	-0/+5
\|
*	small test additions	Bryan Newbold	2021-11-07	1	-0/+2
\|
*	crate-local Result alias for less verbose type signatures	Bryan Newbold	2021-10-25	2	-23/+22
\|
*	refactor into lib-style crate, and add some early tests	Bryan Newbold	2021-10-25	5	-35/+99
\|
*	constants; clean up product and sum code	Bryan Newbold	2021-10-24	1	-54/+169
\|
*	more progress	Bryan Newbold	2021-10-24	3	-106/+159
\|
*	progress	Bryan Newbold	2021-10-24	3	-97/+154
\|
*	simplify s-expr enum, to make other parsing easier as well	Bryan Newbold	2021-10-23	2	-44/+17
\|
*	commit work-in-progress	Bryan Newbold	2021-10-23	3	-3/+152
\|
*	sexpr: simplify by removing quote and vector types	Bryan Newbold	2021-10-17	1	-22/+3
\|
*	initial copy of hand-written sexpr parsing	Bryan Newbold	2021-10-16	5	-0/+419
\|
*	init repo with README and gitignore	Bryan Newbold	2021-10-14	2	-0/+25