log

age author description
Tue, 21 Oct 2008 17:49:14 -0400 Adam Chlipala Note about demo.sql
Tue, 21 Oct 2008 17:44:03 -0400 Adam Chlipala ListShop prose
Tue, 21 Oct 2008 17:34:20 -0400 Adam Chlipala Rec demo
Tue, 21 Oct 2008 17:30:06 -0400 Adam Chlipala Form example
Tue, 21 Oct 2008 17:12:22 -0400 Adam Chlipala Hello prose
Tue, 21 Oct 2008 17:02:03 -0400 Adam Chlipala Intro prose
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling