type-expander

Type expanders for typed/racket, which work like match expanders for match

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
Tags
License
    Last updatedFriday, December 5th, 2025 4:01:16pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://gitea.suzanne.soy/suzanne.soy/type-expander.git#main9fbbe96f970562c613101e4c91c54873fed399bc
    Last checkedSunday, December 7th, 2025 12:56:17pm (UTC)
    Last editedTuesday, March 25th, 2025 2:05:40am (UTC)
    Date addedTuesday, March 25th, 2025 2:05:40am (UTC)
    Modules
    • type-expander/test/lang-test-1.rkt
    • type-expander/scribblings/deprecated-colon.scrbl
    • type-expander/dbg.rkt
    • type-expander/test/base-lang-test-3.rkt
    • type-expander/contracts-to-types.rkt
    • type-expander/scribblings/type-expander-implementation.scrbl
    • type-expander/identifiers.rkt
    • type-expander/type-expander.hl.rkt
    • type-expander/utils.rkt
    • type-expander/expander.rkt
    • type-expander/lang.rkt
    • type-expander/base.rkt
    • type-expander/lang/reader.rkt
    • type-expander/lang/lang/reader.rkt
    • type-expander/lang/main.rkt
    • type-expander/scribblings/contracts-to-types.scrbl
    • type-expander/test/base-lang-test-1.rkt
    • type-expander/test/lang-test-3.rkt
    • type-expander/parameterize-lexical-context.rkt
    • type-expander/test/lang-test-2.rkt
    • type-expander/test/type-expander-test.rkt
    • type-expander/test/test-contracts-to-types.rkt
    • type-expander/test/base-lang-test-2.rkt
    • type-expander/base/lang/reader.rkt
    • type-expander/scribblings/type-expander.scrbl
    • type-expander/main.rkt
    • type-expander/test/readme.rkt
    • type-expander/more-expanders.hl.rkt