Def Cache.IO.lookup

Modification history

2025-04-03 01:55
Cache/IO.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Modified Cache.IO.lookupView on Github →
2025-02-11 14:10
Cache/IO.lean
chore(Cache): rename HashMap to ModuleHashMap (#21704) …
Modified Cache.IO.lookupView on Github →
2023-12-11 07:34
Cache/IO.lean
feat: lake exe cache lookup (#8838) …
Added Cache.IO.lookupView on Github →