gitignore icon indicating copy to clipboard operation
gitignore copied to clipboard

Add .gitignore file for Curry

Open matthesjh opened this issue 6 years ago • 1 comments

Reasons for making this change:

The Curry.gitignore file contains the files and folders that should be ignored when working with the functional logic programming language Curry. The listed files and folders are generated by the compilers and the package manager.

Links to documentation supporting these rule changes:

  • Manual of the Curry compiler KiCS2
  • Manual of the Curry compiler PAKCS
  • Manual of the Curry package manager CPM

If this is a new template:

  • Link to application or project’s homepage: https://www.curry-lang.org/

matthesjh avatar Dec 07 '19 20:12 matthesjh

This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:

github-actions[bot] avatar Jun 11 '25 16:06 github-actions[bot]