[ refactor ] (more) decidable Data.Fin.Properties#2744
Closed
jamesmckinna wants to merge 19 commits intoagda:masterfrom
Closed
[ refactor ] (more) decidable `Data.Fin.Properties`#2744jamesmckinna wants to merge 19 commits intoagda:masterfrom
jamesmckinna wants to merge 19 commits intoagda:masterfrom
Commits
Commits on Jun 23, 2025
Commits on Jun 25, 2025
- committed
Commits on Jun 26, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
