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

Reply via email to