Update version number to 1.3 · agda/agda2hs@7bac88a

Triggered via push December 11, 2023 15:12

master

Status Success

Total duration 24m 57s

Artifacts –

ci.yml

on: push

Matrix: cabal

10 warnings

• No explicit implementation for

• No explicit implementation for

Pattern match is redundant

• 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