Skip to content
build

proper function return type; rename to be more in-line with Rust nami… #40

Sign in to view logs

proper function return type; rename to be more in-line with Rust nami…

proper function return type; rename to be more in-line with Rust nami… #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
agda2rust
56s
56s