So it adds tooltips with definition when hovering words in the doc and a global index of the technical terms. LDoc currently uses an hash map for everything, so it's not that hard to implement.
So it adds tooltips with definition when hovering words in the doc and a global index of the technical terms.
LDoc currently uses an hash map for everything, so it's not that hard to implement.