Skip to content

restructure as agda-lib and nixify

1f6677e
Select commit
Loading
Failed to load commit list.
Open

restructure as agda-lib and nixify #8

restructure as agda-lib and nixify
1f6677e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs