Skip to content
This repository has been archived by the owner on Sep 7, 2020. It is now read-only.

Releases: wenkokke/AutoInAgda

Version as submitted to ICFP 2014

24 Apr 17:55
Compare
Choose a tag to compare
1.0.0

Merge branch 'master' of github.com:pepijnkokke/AutoInAgda