Hi all, This year's CakeML Developers Meeting will be held 13-14 May 2019 at Chalmers in Gothenburg Sweden. This meeting brings together developers and users of CakeML -- anyone with an interest in CakeML is welcome.
The preliminary programme for the meeting is here: https://cakeml.org/dev-meeting-2019.html There is no registration or registration fee. However, anyone who want to take part in the social event on Monday 13 May must let me know that they are coming (by 3 May at the latest). Magnus _______________________________________________ hol-info mailing list email@example.com https://lists.sourceforge.net/lists/listinfo/hol-info