typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 5:01:48pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jsmaniac/typed-worklist.gitfe081f9ddf428977d43a6ba1551cfb8271e8c7a7
Last checkedFriday, August 18th, 2017 11:40:35am (UTC)
Last editedThursday, April 20th, 2017 6:47:20pm (UTC)
Modules
  • typed-worklist/main.rkt
  • typed-worklist/scribblings/typed-worklist.scrbl
  • typed-worklist/test/test-experiment.rkt