9f99c512e7
This PR adds some information to Grove: a check that all string/slice-transforming functions are tracked properly (which finds dozens of missed cases), and some documentation of design designs around naming in the string library. The PR also bumps the Grove version to the latest version which contains many new features and also processes the data a lot faster (40s to 2.5s for the test project). |
||
|---|---|---|
| .. | ||
| GroveStdlib | ||
| .gitignore | ||
| grove-local.sh | ||
| lake-manifest.json | ||
| lakefile.toml | ||
| lean-toolchain | ||
| Main.lean | ||
| README.md | ||
| update_invalidated.sh | ||