log
graph
tags
bookmarks
branches
changeset
browse
file
latest
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
comparison tests/ktuple.urp @ 1302:d008c4c43a0a
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Flex kinds for type-level tuples; ::_ notation
author
Adam Chlipala <adam@chlipala.net>
date
Sun, 10 Oct 2010 13:07:38 -0400
parents
children
comparison
equal
deleted
inserted
replaced
1301:4359e185d3af
1302:d008c4c43a0a
1
ktuple