Skip to content

MiniAgda 2022-03-11 Early Spring edition

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

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

Assets 2
Loading