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 updatedSunday, April 4th, 2021 3:29:25pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jsmaniac/typed-worklist.git#main31fb17fb7c8aaa96c49dcd1ca9094d0dffa775c8
Last checkedThursday, December 2nd, 2021 6:06:05pm (UTC)
Last editedThursday, March 4th, 2021 8:30:56pm (UTC)
Date addedWednesday, March 3rd, 2021 7:26:16pm (UTC)
Modules
  • typed-worklist/main.rkt
  • typed-worklist/scribblings/typed-worklist.scrbl
  • typed-worklist/test/test-experiment.rkt