Skip to content

Improve deriving support for nested types#38

Merged
omelkonian merged 2 commits into
masterfrom
andre/nested-mutual-deriving
May 6, 2026
Merged

Improve deriving support for nested types#38
omelkonian merged 2 commits into
masterfrom
andre/nested-mutual-deriving

CI: fix Agda installation

3dcbca1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar