diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-09 12:42:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-09 12:42:25 -0400 |
| commit | e0f7a1d2e4ed4d0a264f042de8698fe98bc3b88c (patch) | |
| tree | 691773c8f6432547bb7ae6cfd50a46cef9e527dc /demo | |
| parent | df1314f40a89b39188c26a303f09e673bf061070 (diff) | |
Support empty datatypes, which can now be generated via 'variant []'
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions