8000 Release MiniAgda 2022-03-11 Early Spring edition · andreasabel/miniagda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

MiniAgda 2022-03-11 Early Spring edition

Latest
Compare
Choose a tag to compare
@andreasabel andreasabel released this 11 Mar 16:09
· 18 commits to master since this release

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

0