New module Erase for dealing with erased and resurrected values · agda/agda2hs@8f59ebf

Triggered via pull request December 8, 2023 10:13

opened #248

jespercockx:Erase

Status Success

Total duration 3m 36s

Artifacts –

ci.yml

on: pull_request

Matrix: cabal

10 warnings

• No explicit implementation for

Pattern match is redundant

• No explicit implementation for

Pattern match is redundant

• No explicit implementation for

• No explicit implementation for

• No explicit implementation for

• No explicit implementation for

• No explicit implementation for

Pattern match is redundant