| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | initial work on term rewrite rule parsing | Bryan Newbold | 2 years | |
| Age | Commit message | Author | Files | Lines |
| 2021-11-13 | initial work on term rewrite rule parsingHEADmaster | Bryan Newbold | 2 | -0/+218 |
| 2021-11-11 | notes on term rewriting | Bryan Newbold | 1 | -0/+54 |
| 2021-11-11 | commit old plan file | Bryan Newbold | 1 | -0/+65 |
| 2021-11-11 | more canonicalization tests, from old plan.txt | Bryan Newbold | 1 | -0/+5 |
| 2021-11-07 | small test additions | Bryan Newbold | 1 | -0/+2 |
| 2021-10-25 | crate-local Result alias for less verbose type signatures | Bryan Newbold | 2 | -23/+22 |
| 2021-10-25 | refactor into lib-style crate, and add some early tests | Bryan Newbold | 5 | -35/+99 |
| 2021-10-24 | constants; clean up product and sum code | Bryan Newbold | 1 | -54/+169 |
| 2021-10-24 | more progress | Bryan Newbold | 3 | -106/+159 |
| 2021-10-24 | progress | Bryan Newbold | 3 | -97/+154 |
| [...] | ||||
| Clone | ||||
| git@git.bnewbold.net:casual | ||||
| https://git.bnewbold.net/casual | ||||
| git://git.bnewbold.net/casual | ||||
 |
index : casual | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |