| Sat, 16 Aug 2008 14:32:18 -0400 |
Adam Chlipala |
Initial type class support |
| Sat, 09 Aug 2008 19:23:31 -0400 |
Adam Chlipala |
'Option' datatype encoding |
| Sun, 03 Aug 2008 19:49:21 -0400 |
Adam Chlipala |
Datatype representation optimization |
| Sun, 29 Jun 2008 10:39:43 -0400 |
Adam Chlipala |
Broaden unification context |
| Sun, 22 Jun 2008 19:10:38 -0400 |
Adam Chlipala |
Subsignatures |
| Tue, 17 Jun 2008 16:38:54 -0400 |
Adam Chlipala |
Elaborating module projection |
| Sun, 08 Jun 2008 11:32:48 -0400 |
Adam Chlipala |
Lifting cons in ElabEnv |
| Fri, 28 Mar 2008 15:20:46 -0400 |
Adam Chlipala |
Simple elaboration working |
