sludges

Extends the student languages with additional typed signature features.

Build status: ok passing tests valid license

Authors
Documentation
Tags
License
Language familiesRacket
Last updatedTuesday, September 29th, 2026 2:33:36pm (UTC)
Ring2
ConflictsNone
Dependencies
Build platformsany platform
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/atom-sw/sludges.git244d91d381b746e2da6772d9d28a7d0e522e6c73
Last checkedFriday, October 2nd, 2026 9:33:14pm (UTC)
Last editedFriday, September 18th, 2026 4:58:42pm (UTC)
Date addedMonday, August 17th, 2026 1:39:47pm (UTC)
Modules
  • sludges/tests/posn-sig.rkt
  • sludges/tests/bsl-plus-define-struct.rkt
  • sludges/tests/isl-header-template.rkt
  • sludges/tests/bsl-header-template.rkt
  • sludges/tests/asl-header-template.rkt
  • sludges/tests/isl-define-struct-shadow.rkt
  • sludges/tests/bsl-define-struct-shadow.rkt
  • sludges/tests/asl-vector.rkt
  • sludges/tests/bsl-predicate.rkt
  • sludges/tests/list-maybe-sig.rkt
  • sludges/tests/vector-sig.rkt
  • sludges/tests/bsl-list-maybe.rkt
  • sludges/tests/universe-sig.rkt
  • sludges/tests/type-constructor.rkt
  • sludges/tests/bsl-define-struct.rkt
  • sludges/tests/asl-define-struct.rkt
  • sludges/scribblings/sludges.scrbl
  • sludges/tests/define-type.rkt
  • sludges/tests/bsl-predicate-broken.rkt
  • sludges/tests/interval-sig.rkt
  • sludges/tests/interval-define-type.rkt
  • teachpack/htdp/sludges.rkt
  • sludges/tests/define-type-fold.rkt
  • sludges/examples/readme-examples.rkt
  • sludges/tests/fixtures/isl-check-error.rkt
  • sludges/main.rkt
  • sludges/tests/violation-message.rkt
  • sludges/tests/image-sig.rkt
  • sludges/dist/sludges.rkt
  • sludges/tests/bsl-type-constructor.rkt
  • sludges/tests/define-struct.rkt
  • sludges/tests/one-of.rkt
  • sludges/tests/check-error-report.rkt