Skip to content

Omit method Monad.fail when base>4.12#2

Open
ddssff wants to merge 1 commit intoduairc:masterfrom
ddssff:master
Open

Omit method Monad.fail when base>4.12#2
ddssff wants to merge 1 commit intoduairc:masterfrom
ddssff:master

Commits

Commits on Jul 4, 2022