lean4-htt/stage0
Sebastian Ullrich 66c00d33d4
feat: environment constant data can be split into .olean.private (#8079)
This PR lays the `Environment` groundwork for not exporting (parts of)
declarations.
2025-04-24 13:04:31 +00:00
..
src feat: environment constant data can be split into .olean.private (#8079) 2025-04-24 13:04:31 +00:00
stdlib chore: update stage0 2025-04-24 10:54:10 +00:00