todo-list

A list of goals + interactive commands for solving them in DrRacket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSunday, September 30th, 2018 6:59:17pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/david-christiansen/todo-list.git589e9c8f58f4684eae64d3254bdbad0b1bcaae39
Last checkedMonday, October 22nd, 2018 12:16:31pm (UTC)
Last editedWednesday, November 22nd, 2017 5:32:24pm (UTC)
Modules
  • todo-list/test-command.rkt
  • todo-list/private/expansion-handler.rkt
  • todo-list/tool.rkt
  • todo-list/main.rkt
  • todo-list/private/syntax-info.rkt
  • todo-list/scribblings/todo-list.scrbl
  • todo-list/demo.rkt
  • todo-list/private/goal-info.rkt