Skip to content

Move T? to Relation.Nullary.Decidable.Core - #2189

Merged
jamesmckinna merged 5 commits into
masterfrom
T-to-decidable-core
Nov 1, 2023
Merged

Move T? to Relation.Nullary.Decidable.Core#2189
jamesmckinna merged 5 commits into
masterfrom
T-to-decidable-core

Fix style-guide

a173664
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs