Repository files navigation

PAKCS is an implementation of the multi-paradigm declarative languageCurry developed by Kiel University,RWTH Aachen, and Portland State University(email contact:pakcs@curry-lang.org)

This directory contains:

RELNOTES.txt:Some information about the current release and changes w.r.t. previousreleases of PAKCS.

RESOURCES.html:A description of various resources related to PAKCS and Curry.This is helpful for new users.

INSTALL.md:Instructions how to install the system.

GITINSTALL.md:Instructions how to install the system from the GIT repository(only intended for developers).

bin:A directory containing various executablesto execute the components of PAKCS.

ci:This directory contains some files supporting the CI build of gitlab.

currytools:This directory contains some base tools for Curry(see the README there for a more detailed description).

docker:This directory contains the files to generate the docker images of PAKCS.

docs:This directory contains some documentation (Curry Report, PAKCS User Manual,DTD for XML representation of FlatCurry).

examples:This directory contains a collection of example Curry programsand a shell scripttest.sh to test the basic functionalityof the system.

frontend:This directory contains the Curry frontend, i.e., a parser forCurry programs. It is adapted from the parser originally developed for theMuenster Curry Compiler.

lib:This directory contains the standard libraries of PAKCS(including the standard prelude).

man:This directory contains the pages for theman command in theDebian distribution of PAKCS.

scripts:This directory contains some templates for scripts used in PAKCS.

src:This directory contains the compiler from Curry into Prolog andthe main component of PAKCS, the interactive development environment.

testsuite:This directory contains a collection of Curry programsimplementing unit and property tests to check the functionalityof the system using CurryCheck. All tests can be executed by theshell scripttest.sh in this directory.

tools:This directory contains various tools for PAKCS(see the README there for a more detailed description).