Skip to content

[ add ] Data.Bool.contradiction fixing #2847#2853

Draft
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:Bool-contradiction
Draft

[ add ] Data.Bool.contradiction fixing #2847#2853
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:Bool-contradiction

fix: issue #2847

e0d9669
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.