Haskell Tools from the Programatica Project
Here you will find information on the tools developed as part of the
Where to get the tools
Directory Tree Overview
Browse the tools source directory
Hyperlinked, syntax highlighted source code
Source from our CVS repository
An Overview of the Programatica Toolset
, presented at HCSS04, is the most recent description of the tools. It is an extended version of the
from the 2003 Haskell Workshop.
summarizes the features of the tools.
describes how to use the tools.
(how to compile to tools from source).
P-logic syntax reference
Slides from status reports and other presentations
Other Programatica research papers
The programatica tools at Universitšt Bremen
. Apparently the tools were used in teaching in 2004.
A fork on github
The Programatica Project
old project page