Skip to content

CI: fix Agda installation

3dcbca1
Select commit
Loading
Failed to load commit list.
Merged

Improve deriving support for nested types #38

CI: fix Agda installation
3dcbca1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar