Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.
|Last updated||Saturday, January 27th, 2018 2:18:57pm (UTC)|
|Most recent build results|
|Last checked||Friday, April 19th, 2019 1:07:55pm (UTC)|
|Last edited||Wednesday, July 26th, 2017 2:14:35pm (UTC)|