diff options
author | Adam Gundry <adam@well-typed.com> | 2021-04-23 23:05:04 +0100 |
---|---|---|
committer | Adam Gundry <adam@well-typed.com> | 2021-04-23 23:05:04 +0100 |
commit | 0015f019f72ddd2ca4a46e987bf17acaf0ce59d2 (patch) | |
tree | 444e436eb750834da1fd6f8ea117a4166ef00879 /docs/users_guide/compare-flags.py | |
parent | 7bc7eea3897dcb8a87fdb0921f451b9bc77309f6 (diff) | |
download | haskell-0015f019f72ddd2ca4a46e987bf17acaf0ce59d2.tar.gz |
Rename references to Note [Trees That Grow] consistently [skip ci]wip/amg/rename-ttg-notes
I tend to find Notes by (case-sensitive) grep, and I spent a surprisingly
long time looking for this Note, because it was referenced inconsistently
with different cases, and without the module name.
Diffstat (limited to 'docs/users_guide/compare-flags.py')
0 files changed, 0 insertions, 0 deletions