diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 13:07:38 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 13:07:38 -0400 |
| commit | d8bc26c9647d2b45009f6538bc2a69508c983449 (patch) | |
| tree | 1d0f355dec824a81d80e9e838e0cae8845f8e179 /demo/crud3.ur | |
| parent | 975b1f43784dfc1769ec93dd5dd408434791464e (diff) | |
Flex kinds for type-level tuples; ::_ notation
Diffstat (limited to 'demo/crud3.ur')
0 files changed, 0 insertions, 0 deletions