Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.
|Last updated||Friday, April 21st, 2017 1:26:35pm (UTC)|
|Most recent build results|
|Last checked||Tuesday, April 25th, 2017 8:22:43am (UTC)|
|Last edited||Friday, January 13th, 2017 4:46:44pm (UTC)|