typed-map

Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedFriday, December 5th, 2025 4:01:21pm (UTC)
      Ring1
      ConflictsNone
      DependenciesNone
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://gitea.suzanne.soy/suzanne.soy/typed-map.git?path=typed-map#main7a70650b6f8e1222fe1e4ebd2fb6b9b2489301e2
      Last checkedSunday, December 7th, 2025 4:01:56pm (UTC)
      Last editedTuesday, March 25th, 2025 2:08:10am (UTC)
      Date addedTuesday, March 25th, 2025 2:06:46am (UTC)
      Modules
      • typed-map/typed-map-test/typed-map/test/test-map.rkt
      • typed-map/typed-map-doc/typed-map/scribblings/typed-map.scrbl
      • typed-map/typed-map-test/typed-map/test/gh-bug-2.rkt
      • typed-map/typed-map-lib/typed-map/main.rkt