Skip to content

[ add ] partial elements in Effect.Monad.Partial module#2796

Open
e-mniang wants to merge 17 commits into
agda:masterfrom
e-mniang:partial
Open

[ add ] partial elements in Effect.Monad.Partial module#2796
e-mniang wants to merge 17 commits into
agda:masterfrom
e-mniang:partial