extract PrettyPrintingUtils and ToRustCompiler; common types between … #17

Sign in to view logs

Summary
Jobs
- agda2rust
Run details
- Usage
- Workflow file

Triggered via push December 14, 2023 18:49

lemastero

produce-rust

Status Success

Total duration 1m 13s

Artifacts –

haskell.yml

on: push

Annotations

1 warning

agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L62

In the use of ‘head’