Contents of spicey-3.0.0

README.md
evolve_git
package.json
docs/
- README.txt
- main.tex
- manual.tex
examples/
- BlogERD.curry
- TestSpicey.curry
- UniERD.curry
resource_files/
- Authentication.curry
- Authorization.curry
- Crypto.curry
- Main.curry
- Makefile
- Processes.curry
- README.txt
- Routes.curry
- Session.curry
- SessionInfo.curry
- Spicey.curry
- UserProcesses.curry
- bootstrap.min.css
- bootstrap.min.js
- favicon.ico
- foreign.png
- glyphicons-halflings-regular.eot
- glyphicons-halflings-regular.svg
- glyphicons-halflings-regular.ttf
- glyphicons-halflings-regular.woff
- glyphicons-halflings-regular.woff2
- index.html
- jquery.min.js
- number.png
- package.json
- spicey-logo.png
- spicey.css
- text.png
- time.png
- Controller/
  - SpiceySystem.curry
- View/
  - SpiceySystem.curry
src/
- Spicey/
  - ControllerGeneration.curry
  - EntitiesToHtmlGeneration.curry
  - GenerationHelper.curry
  - RouteGeneration.curry
  - Scaffolding.curry
  - SpiceUp.curry
  - Transformation.curry
  - ViewGeneration.curry