scribble-enhanced/scribble-doc/scribblings
Ben Greenman 5505a5557a Add language-index-desc and reader-index-desc
Subtypes of module-index-desc.
Used to tell if a module implements a #lang or a #reader module.
2016-07-08 17:56:35 -04:00
..
scribble Add language-index-desc and reader-index-desc 2016-07-08 17:56:35 -04:00