Commit 82b3df20 authored by Michael Hanus 's avatar Michael Hanus
Browse files

README updated

parent 1d8c93e0
......@@ -25,6 +25,12 @@ This directory contains the implementation of the
Curry Analysis Server System, a generic and distributed analysis system
for Curry programs.
This directory contains scripts and executables for the
Curry Port Name Server (CPNS) which is responsible for managing the
symbolic names assigned to the named sockes and ports on a local machine
(see libraries `NamedSocket` and `Ports` for more details).
A tool to create a simple makefile for a Curry application.
......@@ -67,6 +73,11 @@ The implementation of Curry's web framework Spicey.
This directory contains tools to support the verification of
Curry programs, e.g., a translator of Curry programs into Agda.
This directory contains scripts and executables for the
event handler server that is required to execute dynamic web
pages implemented with the libraries HTML or WUI.
This directory contains a tool to generate conversion functions
between data types and XML representations. The corresponding
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment