This directory contains some documention for the Curry style checker:

manual.tex:
  A short description to be included in the main manual of the Curry system.
  
curry-style-guide.md:
  A description of the preferred style to write Curry programs.

style.html:
  A style sheet to be included in the HTML documentation of the
  style guide.

Makefile:
  Makefile to generate an HTML version of the style guide.