package info
(click to toggle)
Folder: currycheck
| .. (parent) | ||||
| d | rwxr-xr-x | 52 | Docs | |
| d | rwxr-xr-x | 4,096 | Examples | |
| - | rw-r--r-- | 2,053 | AbstractCurryMatch.curry | |
| - | rw-r--r-- | 3,656 | CheckDetUsage.curry | |
| - | rw-r--r-- | 4,556 | ContractUsage.curry | |
| - | rw-r--r-- | 41,663 | CurryCheck.curry | |
| - | rw-r--r-- | 2,181 | DefaultRuleUsage.curry | |
| - | rw-r--r-- | 3,267 | FlatCurryMatch.curry | |
| - | rw-r--r-- | 550 | Makefile | |
| - | rw-r--r-- | 1,710 | PropertyUsage.curry | |
| - | rw-r--r-- | 8,879 | SimplifyPostConds.curry | |
| - | rw-r--r-- | 880 | TestAppendix.curry | |
| - | rw-r--r-- | 3,702 | TheoremUsage.curry | |
| - | rw-r--r-- | 3,905 | UsageCheck.curry |
