Wed, 28 Apr 2010 11:40:03 -0400 |
Adam Chlipala |
Typo fix in Equality, found proof-reading tutorial |
Mon, 19 Apr 2010 16:49:26 -0400 |
Adam Chlipala |
Some bug fixes while working on JFR version |
Wed, 11 Nov 2009 15:12:40 -0500 |
Adam Chlipala |
Ported Equality |
Fri, 06 Nov 2009 12:15:05 -0500 |
Adam Chlipala |
'make doc' works with 8.2 |
Mon, 01 Dec 2008 08:32:20 -0500 |
Adam Chlipala |
Fix typo |
Wed, 22 Oct 2008 14:32:41 -0400 |
Adam Chlipala |
Start of Match |
Wed, 22 Oct 2008 13:40:32 -0400 |
Adam Chlipala |
call-by-name is really call-by-need |