| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-03-18 | move tests | lcnr | -0/+47 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -0/+45 |
| 2024-03-11 | Move project -> normalize, move normalize tests | Michael Goulet | -0/+439 |
![]() |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |
| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-03-18 | move tests | lcnr | -0/+47 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -0/+45 |
| 2024-03-11 | Move project -> normalize, move normalize tests | Michael Goulet | -0/+439 |