From cc8e10b8c398dd73466e9d358e16e14adff2d17f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Jan 2015 09:56:57 -0500 Subject: New release --- CHANGELOG | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 4ac2df97..e0e91e3d 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,11 @@ +======== +20150103 +======== + +- New antiquote syntax for 'ORDER BY' clauses +- New standard library function: List.mem +- Bug fixes and improvements to type inference + ======== 20141206 ======== -- cgit v1.2.3