todo-list
todo-list copied to clipboard
david-christiansen
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
It makes sense that when you click on a row in the TODO window in DrRacket that the corresponding text in the definitions window is highlighted. However, DrRacket also automatically...
While navigating around a Pie file in DrRacket w/ TODO mode on: I haven't yet figured out how to reliably trigger it. Here's the full error message: ``` set-selection in...
Metadata
Owner
Metadata
A TODO list feature for DrRacket, like to Agda's goal list but for any language.