Def toPaths

Modification history

2025-04-03 01:55

Cache/Main.lean

refactor(Cache): use module name as key instead of unresolved file path (#21834) …

Deleted toPaths View on Github →

2023-01-13 12:11

Cache/Main.lean

fix: normalize cache get and get! paths arguments (#1532) …

Added toPaths View on Github →