Mercurial > urweb
log src/urweb.grm
age | author | description |
---|---|---|
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 |