README 2.73 KB
Newer Older
1
2
3
4
5
PAKCS: The Portland Aachen Kiel Curry system
============================================

PAKCS is an implementation of the multi-paradigm declarative language
[Curry](http://www.curry-language.org) developed by RWTH Aachen,
6
University of Kiel and Portland State University
7
(email contact: pakcs@curry-language.org)
8
9
10

This directory contains:

11
`RELNOTES.txt`:
12
13
14
  Some information about the current release and changes w.r.t. previous
  releases of PAKCS.

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

19
20
21
22
23
24
`INSTALL.txt`:
  Instructions how to install the system.

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

26
27
28
`bin`:
  A directory containing various executables
  to execute the components of PAKCS.
29

30
`src`:
31
32
33
34
  This directory contains the compiler from Curry into Prolog which
  is the basis of the main component of PAKCS: the interactive
  development environment.

35
`currytools`:
Michael Hanus 's avatar
Michael Hanus committed
36
37
38
  This directory contains various tools for Curry
  (see the README there for a more detailed description).

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

43
`examples`:
44
45
46
  This directory contains a collection of example Curry programs
  and test files (prefixed by "test") to check the system using
  the currytest tool. All tests can be executed by the shell script
47
48
49
50
51
52
  `test.sh` in this directory.

`frontend`:
  This directory contains the Curry frontend, i.e., a parser for
  Curry programs. It is adapted from the parser originally developed for the
  [Muenster Curry Compiler](http://danae.uni-muenster.de/~lux/curry/).
53

54
55
56
`include`:
  This directory contains some resources which are included
  by various tools delivered with KiCS2.
57

58
`lib`:
59
60
61
  This directory contains a collection of standard libraries
  implemented in Curry (including the standard prelude).

62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
`scripts`:
  This directory contains some templates for scripts used in PAKCS.

`testsuite`:
  This directory contains a collection of Curry programs
  implementing unit tests to check the functionality of the system using
  the currytest tool. All tests can be executed by the shell script
  `doTest` in this directory. Since these test suite is based on
  a test tool which is no longer supported, one should use the new
  tests contained in `testsuite2`.

`testsuite2`:
  This directory contains a collection of Curry programs
  implementing unit and property tests to check the functionality
  of the system using CurryCheck. All tests can be executed by the
  shell script `test.sh` in this directory.
78

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