Actions: hyperpolymath/echo-types
Actions
Showing runs from all workflows
1,104 workflow runs
1,104 workflow runs
use flake
Agda
#510:
Commit 185eb74
pushed
by
hyperpolymath