Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.
|Last updated||Sunday, April 4th, 2021 2:35:04pm (UTC)|
|Most recent build results|
|Last checked||Monday, December 5th, 2022 7:49:27am (UTC)|
|Last edited||Thursday, March 4th, 2021 8:30:29pm (UTC)|
|Date added||Wednesday, March 3rd, 2021 7:25:56pm (UTC)|