log lib/basis.lig

age author description
Sat, 16 Aug 2008 17:18:00 -0400 Adam Chlipala SQL comparison operators
Sat, 16 Aug 2008 15:58:25 -0400 Adam Chlipala Looking up in a type class from a module
Sat, 16 Aug 2008 12:15:38 -0400 Adam Chlipala Stub WHERE support