We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Remove -Werror for release of agda2hs 1.3
Release agda2hs 1.2
RC2 for agda2hs 1.2
RC1 for agda2hs 1.2
Release agda2hs v1.1
RC1 for agda2hs 1.1
agda2hs v1.0
First release candidate for agda2hs 1.0