erikkaplun/curry-kics2

Abandoned for the time beng; see the website

Please refer to http://www-ps.informatik.uni-kiel.de/kics2/GITINSTALL.html and https://git-ps.informatik.uni-kiel.de/curry/kics2/ instead of this repository