Tags · agda/agda2hs · GitHub

Tags

v1.2

Release agda2hs 1.2

Dec 11, 2023
b269164
zip
tar.gz

v1.1.20231206

RC2 for agda2hs 1.2

Dec 6, 2023
3fc10be
zip
tar.gz

v1.1.20231204

RC1 for agda2hs 1.2

Dec 4, 2023
80cc21a
zip
tar.gz

v1.1

Release agda2hs v1.1

Oct 23, 2023
520bc37
zip
tar.gz

v1.0.20231012

RC1 for agda2hs 1.1

Oct 12, 2023
1c24b61
zip
tar.gz

v1.0

agda2hs v1.0

Apr 7, 2023
e051ea7
zip
tar.gz

v0.1.20230328

First release candidate for agda2hs 1.0

Mar 28, 2023
79e5f9f
zip
tar.gz