| Thu, 03 Feb 2011 11:12:48 -0500 |
Adam Chlipala |
Allow negative int patterns |
| Sun, 23 Jan 2011 11:18:24 -0500 |
Adam Chlipala |
Allow CSS class specification for <form> |
| Sun, 16 Jan 2011 14:16:09 -0500 |
Adam Chlipala |
Error message when FOREIGN KEY listts have different lengths |
| Thu, 23 Dec 2010 17:46:40 -0500 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
| Sun, 10 Oct 2010 20:33:10 -0400 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
| Sun, 10 Oct 2010 13:07:38 -0400 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
| Thu, 27 May 2010 15:10:52 -0400 |
Adam Chlipala |
Consider view declarations while shaking |
| Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
