log tests/ktuple.ur

age author description
2010-10-10 Adam Chlipala Flex kinds for type-level tuples; ::_ notation