taradinoc / mdl-docs

The MDL Programming Language by S. W. Galley and Greg Pfister
26 stars 8 forks source link

Add name index #53

Closed jmdyck closed 5 years ago

jmdyck commented 5 years ago

The first commit is a markdown transcription of the Name Index, with page numbers. (So that it's in the git history, in case it's useful in future.)

The second commit replaces each page number reference with a relative link to the relevant section from that page. (In the case of multiple sections on a page, the relevant one was usually fairly obvious. In the rare cases where it wasn't, I generally picked the earlier section, since you'll presumably be reading forward from where the link lands you anyway.)

Note re source format: Because this is a markdown table, all the links for a given term have to be on a single line, which can get pretty long and unreadable in the source (though it looks okay when rendered). The source might be more readable/editable in HTML. But probably it won't be edited by hand much anyhow.