use bracket, rename handleX to compileX #14
lemasteroAnnotations
1 error and 1 warning
|
agda2rust
Process completed with exit code 1.
|
|
agda2rust:
src/Agda/Compiler/Rust/Backend.hs#L121
In the use of ‘head’
|