currylang/pakcs repository overview

This repository contains the latest PAKCS⁠ implementation of the multi-paradigm declarative programming language Curry⁠ together with some tools, like

• CurryCheck, a property test tool
• CurryDoc, a documentation generator
• CurryPP, a preprocessor implementing some extensions for Curry
• an interface viewing tool (invoked by the PAKCS command :interface)

For convenient invocation of PAKCS and these tools, Unix/Linux users can use a shell script⁠ to run this image (it might be necessary to adapt it for specific docker configurations, e.g., rootless mode).