| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : casual | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |