Commit aba28606 authored by Michael Hanus's avatar Michael Hanus
Browse files

README extended

parent 86752742
......@@ -6,9 +6,19 @@ Currently it contains:
A directory containing various analyzers for Curry program.
A tool to browse through the modules and functions of a Curry program,
show them in various formats, and analyze their properties.
A tool to create a simple makefile for a Curry application.
A documentation generator for Curry programs.
A test tool for Curry programs.
A program for generating module interfaces and source code
of a Curry module (used by the commands ":interface" and ":show"
Supports Markdown
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