Re: [isabelle] No tail-recursive code equation for List.map



> So, if there will be a tail-recursive code equation for List.map in
> the default library, please only activate it on languages which
> really profit from tail-recursion.


Is it possible to enable code equations only for certain target
languages?

--
  Peter





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.