Contents of currybrowse-3.0.0

Extend.txt
Help.txt
LICENSE
README.md
package.json
docs/
- README.txt
- currybrowser.jpg
- manual.tex
images/
- currybrowser.jpg
src/
- BrowserAnalysis.curry
- BrowserAnalysisTypes.curry
- BrowserGUI.curry
- Imports.curry
- CurryBrowseAnalysis/
  - CalledByAnalysis.curry
  - Dependency.curry
  - Indeterminism.curry
  - Linearity.curry
  - Nondeterminism.curry
  - Overlapping.curry
  - PatternComplete.curry
  - SolutionComplete.curry