david-christiansen/todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
RacketLGPL-3.0
Issues
- 4
Trouble with demo file
#2 opened by jasonhemann - 0
TODO's are highlighted automatically too often
#12 opened by pnwamk - 0
set-selection bug
#11 opened by pnwamk - 0
- 0
Include screenshots in scribble docs
#9 opened by jackfirth - 1
- 6
- 5
- 3
- 0
make todo list collapsable (or similar)
#1 opened by pnwamk