A TODO list feature for DrRacket, like to Agda's goal list but for any language.
Primary LanguageRacketGNU Lesser General Public License v3.0LGPL-3.0