Commit 4cbd9263 authored by Michael Hanus 's avatar Michael Hanus
Browse files

README extended

parent 5b86d29b
...@@ -35,6 +35,10 @@ A documentation generator for Curry programs. ...@@ -35,6 +35,10 @@ A documentation generator for Curry programs.
`currytest`: `currytest`:
A test tool for Curry programs. A test tool for Curry programs.
`erd2curry`:
A compiler to translate database (ER) models
into Curry programs containing corresponding database operations.
`genint`: `genint`:
A program for generating module interfaces and source code A program for generating module interfaces and source code
of a Curry module (used by the commands ":interface" and ":show" of a Curry module (used by the commands ":interface" and ":show"
......
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