The directory index pages combine an automatically generated file index and a manually written README file describing the contents of the directory. The automatic index section reflects reality, but may also contain files/directories that are obsolete. The README section is more informative, but can at times be out-of-date.
There is also an HTML rendering of the source code, with syntax highlighting and hyperlinks from uses to definitions. (See the notes on the conversion tool.)
This directory contains the sources for (some of) the tools implemented as part of the Programatica project.
This is all work in progress (including this documentation)!
See the INSTALL page.
The code that has been actively developed recently is located in the following subdirectories, some of which contain additional README files:
|Extensible Haskell front-end and base language (Haskell 98) tools. There is a README file with further details.|
|PFE - the preliminary front-end framework and command-line tools. There is a README file with further details.|
|The Programatica Haskell Browser.|
|Extension of the base language with P-logic property declarations, including a new parser and an extended type checker. (An awful lot of work for a small extension...)|
|Haskell to HTML translator. (Little extra work for a potentially useful tool.)|
|Haskell to Alfa translator.|
|Haskell to Stratego translator.|
|Small spin-off Haskell utility programs.|
|Files relating to evidence (certificate) management, in particular
the command line tool |
|Various shell scripts, some of which are used in the build process.|
|There are directores created by the Makefile to hold a template of
things that get installed by |