Re: minutes from committee meeting at ICFP