diff options
| author | Jason Gross | 2018-07-31 16:05:13 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-07-31 16:05:22 -0400 |
| commit | 5e301f1a87c856eb22f2d219f940a99508bf23be (patch) | |
| tree | 04cde50bfd2f12b2c8f8ab35c094809128dbe85f /plugins/extraction/ExtrHaskellString.v | |
| parent | e130be4ccb68e0876ed789d295ae9a94d4358bf9 (diff) | |
Fix doc for no associativity
no associative -> no associativity
Also remove some 'a's and 'the's and make a note that this is for parsing
(There is a difference between left associativity and no associativity for printing)
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions