Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.
|Last updated||Thursday, May 11th, 2017 8:06:19am (UTC)|
|Most recent build results|
|Last checked||Saturday, June 24th, 2017 3:14:40pm (UTC)|
|Last edited||Friday, January 13th, 2017 4:46:44pm (UTC)|