typed-srfi-136

Typed Record

Build status: ok passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Last updatedTuesday, November 4th, 2025 1:56:00am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit+https://github.com/NoahStoryM/typed-srfi-136#master32b9a78ad99d0e0ad90cffdfe21f433c858a90da
Last checkedTuesday, December 16th, 2025 10:56:27am (UTC)
Last editedTuesday, October 28th, 2025 10:41:21am (UTC)
Date addedSunday, October 26th, 2025 10:26:35am (UTC)
Modules
  • typed/srfi/136/scribblings/typed-srfi-136.scrbl
  • typed/srfi/136/private/define-record-type.rkt
  • typed/srfi/136.rkt
  • typed/srfi/136/tests/mpair.rkt
  • typed/srfi/136/scribblings/utils.rkt
  • typed/srfi/136/private/types.rkt
  • typed/srfi/136/tests/point.rkt
  • typed/srfi/136/tests/subtype.rkt
  • typed/srfi/136/main.rkt
  • typed/srfi/136/private/type-descriptors.rkt