Skip to content
build

RustExpr to separate pretty printing from traverse Agda internals (#18) #48

Sign in to view logs

RustExpr to separate pretty printing from traverse Agda internals (#18)

RustExpr to separate pretty printing from traverse Agda internals (#18) #48

Run time

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