8000 Releases · andreasabel/miniagda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: andreasabel/miniagda

MiniAgda 2022-03-11 Early Spring edition

11 Mar 16:09
@andreasabel andreasabel
v0.2022.3.11
140f14e
Compare
Choose a tag to compare
MiniAgda 2022-03-11 Early Spring edition Latest
Latest

Haskell source release.
Tested with GHC versions 7.6 - 9.2.
Adds testsuite runnable with cabal test.

Assets 2
Loading

MiniAgda 2020-04-14 Corona Easter edition

14 Apr 11:47
@andreasabel andreasabel
v0.2020.4.14
d496584
Compare
Choose a tag to compare
MiniAgda 2020-04-14 Corona Easter edition

Haskell source release.
Tested with GHC versions 7.6 - 8.10.

Loading

MiniAgda 2019-12-13 St. Lucia edition

13 Dec 20:23
@andreasabel andreasabel
v0.2019.12.13
1447e66
Compare
Choose a tag to compare
MiniAgda 2019-12-13 St. Lucia edition

Haskell source release.
Tested with GHC versions 7.6 to 8.8.

Loading

MiniAgda 2018-11-06

06 Nov 08:17
@andreasabel andreasabel
v0.2018.11.6
94883ed
Compare
Choose a tag to compare
MiniAgda 2018-11-06

Haskell source release.
Tested for compilation with GHC versions 7.6 to 8.6.

Loading
0