diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-01-03 09:56:57 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-01-03 09:56:57 -0500 |
commit | b832399cc878bd0ca0eefc61e0eb19d582eb1832 (patch) | |
tree | c9bdf8b50098df0b305a1730fa589feb1a6282d6 /CHANGELOG | |
parent | 52ad90187e17e4191004b8d71f636bbf42057cbc (diff) |
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,4 +1,12 @@ ======== +20150103 +======== + +- New antiquote syntax for 'ORDER BY' clauses +- New standard library function: List.mem +- Bug fixes and improvements to type inference + +======== 20141206 ======== |