david-christiansen/todo-list

A TODO list feature for DrRacket, like to Agda's goal list but for any language.

RacketStars 33Forks 6Watchers 33Open issues 3License GNU Lesser General Public License v3.0

Details

仓库信息

Ownerdavid-christiansen

Homepage—

Last pushed2023-07-01

Last updated2025-12-15

Issues fetched at—

Community at a glance