Wed, 22 Oct 2008 13:40:32 -0400 |
Adam Chlipala |
call-by-name is really call-by-need |
Wed, 22 Oct 2008 09:43:37 -0400 |
Adam Chlipala |
Clarify intent to use hlist |
Wed, 22 Oct 2008 07:50:47 -0400 |
Adam Chlipala |
s/reflexive/index function |
Mon, 20 Oct 2008 17:02:04 -0400 |
Adam Chlipala |
s/itree/htree |
Mon, 20 Oct 2008 14:03:08 -0400 |
Adam Chlipala |
Equality exercise |
Mon, 20 Oct 2008 12:17:39 -0400 |
Adam Chlipala |
More DepList notations |
Mon, 20 Oct 2008 10:44:20 -0400 |
Adam Chlipala |
Add ext_eq axiom and DepList notations |
Mon, 20 Oct 2008 09:11:54 -0400 |
Adam Chlipala |
Templatize Equality |