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

Version as submitted to ICFP 2014

wenkokke released this 24 Apr 17:55

· 299 commits to master since this release

1.0.0

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

Assets 2

Provide feedback