Kim Morrison 56ac94b591 chore: rename Array.mkEmpty to emptyWithCapacity (#7445) ... This PR renames `Array.mkEmpty` to `emptyWithCapacity`. (Similarly for `ByteArray` and `FloatArray`.)		2025-03-12 23:19:17 +00:00
..
FilePath.lean	chore: cleanup imports (#5825)	2024-10-23 23:51:13 +00:00
IO.lean	chore: rename Array.mkEmpty to emptyWithCapacity (#7445)	2025-03-12 23:19:17 +00:00
IOError.lean	feat: Environment.realizeConst (#7076)	2025-02-26 19:32:21 +00:00
Mutex.lean	refactor: move IO.Channel and IO.Mutex to Std.Sync (#6282)	2024-12-03 09:36:50 +00:00
Platform.lean	feat: finite type conversions (Nat/Int/Fin/BitVec -> IntX -> *) (#7368)	2025-03-10 05:53:41 +00:00
Promise.lean	fix: never transfer constants from checked environment into elab branches (#7306)	2025-03-05 17:12:27 +00:00
ST.lean	feat: code action resolvers	2022-10-20 11:20:42 -07:00
Uri.lean	chore: avoid runtime array bounds checks (#6134)	2024-11-21 05:04:52 +00:00