====== PAKCS ======

This page will soon contain detailed information about the Curry implementation PAKCS.

For now please visit the [[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS homepage]].