currylang/kics2 repository overview

This repository contains the KiCS2⁠ 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 KiCS2 command :interface)

For convenient invocation of KiCS2 and these tools, Unix/Linux users can use a shell script⁠ to run this image.