| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 178 | logplainblame |
| -rw-r--r-- | LICENSE | 1078 | logplainblame |
| -rw-r--r-- | LaTeX.dcl | 366 | logplainblame |
| -rw-r--r-- | LaTeX.icl | 1490 | logplainblame |
| -rw-r--r-- | Makefile | 238 | logplainblame |
| -rw-r--r-- | README.md | 247 | logplainblame |
| -rw-r--r-- | Smurf.dcl | 1651 | logplainblame |
| -rw-r--r-- | Smurf.icl | 9433 | logplainblame |
| -rw-r--r-- | SmurfParse.dcl | 292 | logplainblame |
| -rw-r--r-- | SmurfParse.icl | 2791 | logplainblame |
| -rw-r--r-- | proof.icl | 2024 | logplainblame |
| -rw-r--r-- | proof.prj | 1274 | logplainblame |
| -rw-r--r-- | reverse-ward.smf | 372 | logplainblame |
| -rw-r--r-- | reverse.smf | 254 | logplainblame |
| -rw-r--r-- | run.icl | 2965 | logplainblame |
| -rw-r--r-- | run.prj | 1264 | logplainblame |
| -rw-r--r-- | tree.icl | 683 | logplainblame |
| -rw-r--r-- | tree.prj | 1272 | logplainblame |
 |
index : smurf | |
| Smurf interpreter in Clean |
| aboutsummaryrefslogtreecommitdiff |