Skip to content
Check the Agda files

Provide an example for an injection String × ℕ → String #95

Sign in to view logs

Provide an example for an injection String × ℕ → String

Provide an example for an injection String × ℕ → String #95

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 5s
2m 5s