| Tue, 12 Jan 2010 16:09:13 -0500 |
Adam Chlipala |
Allow escaped backslashes in literals; conversion betwixt int and char |
| Tue, 29 Dec 2009 12:55:26 -0500 |
Adam Chlipala |
Octal and hexidecimal string escapes |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
| Sat, 12 Dec 2009 14:51:10 -0500 |
Adam Chlipala |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
| Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
| Sun, 07 Jun 2009 12:01:55 -0400 |
Adam Chlipala |
&& and || |
