| Tue, 01 Jun 2010 12:50:53 -0400 |
Adam Chlipala |
Try harder to place wildified 'con' declarations properly |
| Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
| Sun, 12 Apr 2009 11:08:00 -0400 |
Adam Chlipala |
hello compiles with CSS |
| Sun, 22 Feb 2009 16:10:25 -0500 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
| Sun, 31 Aug 2008 08:32:18 -0400 |
Adam Chlipala |
Laconic -> Ur |
| Thu, 31 Jul 2008 10:06:27 -0400 |
Adam Chlipala |
Elaborating some basic pattern matching |
| Thu, 19 Jun 2008 16:04:28 -0400 |
Adam Chlipala |
Beginning of functor elaboration |
| Thu, 12 Jun 2008 17:16:20 -0400 |
Adam Chlipala |
Simple signature matching |
| Fri, 28 Mar 2008 15:20:46 -0400 |
Adam Chlipala |
Simple elaboration working |
| Fri, 28 Mar 2008 13:59:03 -0400 |
Adam Chlipala |
Start of elaborating expressions |
| Sat, 26 Jan 2008 15:26:12 -0500 |
Adam Chlipala |
Elaborating cons and decls |
