Zulip Chat Archive
Stream: nightly-testing
Topic: batteries#1177 adaptations for nightly-2025-03-26
Kim Morrison (Mar 26 2025 at 09:24):
chore: adaptations for nightly-2025-03-26 batteries#1177 Please review this PR. At the end of the month this diff will land in 'main'.
Kim Morrison (Mar 26 2025 at 09:26):
Changes to implicitness in List/Array/Vector APIs from lean#7672, and a minor API change from lean#7679.
Last updated: May 02 2025 at 03:31 UTC