Def leanTarArgs

Modification history

2023-07-18 08:09

Cache/Main.lean

feat: use `leantar` in `lake exe cache` (#5710) …

Added leanTarArgs View on Github →

2023-07-13 09:29

Cache/Main.lean

chore: revert leantar #5710 for further testing (#5853) …

Deleted leanTarArgs View on Github →

2023-07-13 04:56

Cache/Main.lean

feat: use `leantar` in `lake exe cache` (#5710) …

Added leanTarArgs View on Github →