diff options
| author | Patrick Simianer <p@simianer.de> | 2014-05-02 19:05:29 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-05-02 19:05:29 +0200 |
| commit | f714aa1be20cc92d77cc3cffd203a848868d98e2 (patch) | |
| tree | 4d8b4d63f9d618b8cf734b2ff18c653ea38b908e /README.md | |
| parent | 2f65a33d9e55bd53de73389330a8c36665a98b03 (diff) | |
arity-0 rules with rhs.size > 1
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions