Skip to content

Allow more β-reductions

efc258d
Select commit
Loading
Failed to load commit list.
Merged

Fix #8530: Support inline unapply #8542

Allow more β-reductions
efc258d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs