.gitignore 110 Bytes
Newer Older
1
2
3
4
# intermediate files
*~
.curry
*.state
5
6
7
8
9

# executables
currydoc/CurryDoc
genint/GenInt
importcalls/ImportCalls