Skip to content

[fix] Issue #1726: deprecates _≺_ in Data.Fin.Base plus its properties#1868

Merged
MatthewDaggitt merged 11 commits intoagda:masterfrom
jamesmckinna:issue1726
Oct 30, 2022
Merged

[fix] Issue #1726: deprecates `_≺_` in `Data.Fin.Base` plus its properties#1868
MatthewDaggitt merged 11 commits intoagda:masterfrom
jamesmckinna:issue1726

Commits

Commits on Oct 24, 2022

Commits on Oct 25, 2022

Commits on Oct 26, 2022

Commits on Oct 28, 2022