Commit 8ddb2dec authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Typos in README fixed

parent 38061d1d
...@@ -7,10 +7,10 @@ that are used by different Curry systems, like PAKCS or KiCS2. ...@@ -7,10 +7,10 @@ that are used by different Curry systems, like PAKCS or KiCS2.
Currently it contains: Currently it contains:
`addtypes`: `addtypes`:
A tool that adds type signaturs to a given Curry program. A tool that adds type signatures to a given Curry program.
`analysis`: `analysis`:
A directory containing various analyzers for Curry program. A directory containing various analyzers for Curry programs.
`browser`: `browser`:
A tool to browse through the modules and functions of a Curry program, A tool to browse through the modules and functions of a Curry program,
......
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