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)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jsmaniac/typed-worklist.gitfe081f9ddf428977d43a6ba1551cfb8271e8c7a7
Last checkedSunday, October 22nd, 2017 4:12:22pm (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