hyper-literate/scribble-doc/scribblings
Matthew Flatt 3d7ded8a33 extend load-xref to support multi-use on-demand information
The result of `load-xref` with an on-demand function only made sense
for a single use context, such as a single rendering request. Add an
on-demand callback that can work right for multiple uses.
2020-05-24 11:06:23 -06:00
..
scribble extend load-xref to support multi-use on-demand information 2020-05-24 11:06:23 -06:00