[ fix ] Relation.Nullary.Decidable.Core names for combinators#2843
Merged
jamesmckinna merged 7 commits intoagda:masterfrom Oct 28, 2025
Merged
[ fix ] Relation.Nullary.Decidable.Core names for combinators#2843jamesmckinna merged 7 commits intoagda:masterfrom
Relation.Nullary.Decidable.Core names for combinators#2843jamesmckinna merged 7 commits intoagda:masterfrom
Commits
Commits on Oct 26, 2025
- committed
- committed
- authored
- committed
- authored
- committed
