You may learn more about Curry here: http://www-ps.informatik.uni-kiel.de/currywiki/documentation/learn_more http://www-ps.informatik.uni-kiel.de/currywiki/docu

You may learn more about Curry here: http://www-ps.informatik.uni-kiel.de/currywiki/documentation/learn_more http://www-ps.informatik.uni-kiel.de/currywiki/documentation...