Skip to content

Make decidable versions of sublist functions the default#2186

Merged
MatthewDaggitt merged 4 commits into
masterfrom
list-filter-metas
Nov 3, 2023
Merged

Make decidable versions of sublist functions the default#2186
MatthewDaggitt merged 4 commits into
masterfrom
list-filter-metas

Address comments

bb5f37f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs