Thomas Morley <thomasmorle...@gmail.com> writes: > Hi Kieren, hi David, > > Am Di., 21. Jan. 2020 um 22:45 Uhr schrieb David Kastrup <d...@gnu.org>: > >> And music-pitches is also convenient to know. > > David, you remember my suggestion to generate that "General Code > Reference" with an Index ... ?
Yes, that may have helped. But it may also have delivered a haystack. I think we probably need a "good programming" corpus, but the snippets are supposed to be that. Navigating them still is too hard. > Kieren showed me the problem in Salzburg and I suggested quick'n dirty > event-chord-pitches, music-pitches feels a bit cleaner, though. It's newer I think. -- David Kastrup