| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-27 | remove unused functions normalise(), wff(), and norm1() | Jakob Kaivo | |
| 2022-03-27 | more idiomaticization | Jakob Kaivo | |
| 2022-03-27 | adjust formatting to something resembling idiomatic C | Jakob Kaivo | |
| 2022-03-04 | import Miranda 2.066 from upstream | Jakob Kaivo | |
 |
index : miranda | |
| the Miranda programming language - see www.miranda.org.uk |
| summaryrefslogtreecommitdiff |