Release blockers [Re: [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch]

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Feb 15 16:02:14 CET 2015


On 15 February 2015 at 04:29, Andreas Abel <abela at chalmers.se> wrote:
> The "Sharing" feature (call-by-need) on master is not stable enough to be
> released, probably not in the near future.

Is there some issue pointed out the instability of sharing?

-- 
Andrés


More information about the Agda-dev mailing list