Commit 2025-04-17 01:59 5d914f06
View on Github →feat: add a ToExpr instance for Multiset (#24014)
This makes #eval produce inspectable terms on Multisets, for which #eval Multiset.powerset {1, 2, 3} is probably a good example.
feat: add a ToExpr instance for Multiset (#24014)
This makes #eval produce inspectable terms on Multisets, for which #eval Multiset.powerset {1, 2, 3} is probably a good example.