| 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 |
