Skip to content

Another Prop experiment - #3108

Draft
Taneb wants to merge 4 commits into
agda:masterfrom
Taneb:nonzero-prop-experiment
Draft

Another Prop experiment#3108
Taneb wants to merge 4 commits into
agda:masterfrom
Taneb:nonzero-prop-experiment

Make Data.Bool.T a Prop, breaking everything

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

Annotations

1 warning
init
succeeded Aug 11, 2026 in 3m 3s