typed-worklist

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

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedMonday, June 30th, 2025 4:00:46pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://gitea.suzanne.soy/suzanne.soy/typed-worklist.git#main31fb17fb7c8aaa96c49dcd1ca9094d0dffa775c8
Last checkedFriday, July 11th, 2025 6:25:02am (UTC)
Last editedTuesday, March 25th, 2025 2:15:02am (UTC)
Date addedTuesday, March 25th, 2025 2:15:02am (UTC)
Modules
  • typed-worklist/test/test-experiment.rkt
  • typed-worklist/scribblings/typed-worklist.scrbl
  • typed-worklist/main.rkt