drcomplete-user-defined

A DrRacket plugin for autocomplete for user-defined identifiers.


Keywords
DrRacket