Skip to content

[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad#2977

Merged
jamesmckinna merged 2 commits into
agda:masterfrom
jamesmckinna:irrelevant-Monad
Apr 20, 2026
Merged

[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad#2977
jamesmckinna merged 2 commits into
agda:masterfrom
jamesmckinna:irrelevant-Monad

fix: names

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

Annotations

1 warning
check-whitespace
succeeded Apr 18, 2026 in 9s