Tue, 07 Oct 2008 10:50:36 -0400 |
Adam Chlipala |
Remove -impredicative-set from text |
Tue, 07 Oct 2008 10:49:07 -0400 |
Adam Chlipala |
Remove -impredicative-set |
Tue, 07 Oct 2008 10:43:54 -0400 |
Adam Chlipala |
Get Coinductive compiling again |
Mon, 06 Oct 2008 14:41:13 -0400 |
Adam Chlipala |
Add 'Or' to regexp matcher |
Mon, 06 Oct 2008 14:33:11 -0400 |
Adam Chlipala |
Start of certified regexp matcher |
Mon, 06 Oct 2008 13:07:24 -0400 |
Adam Chlipala |
Tagless interpreter & cfold |
Sun, 05 Oct 2008 20:07:35 -0400 |
Adam Chlipala |
Incorporate crush' bug reports; ilists in MoreDep |