diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
| commit | b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea (patch) | |
| tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /lib/ur/top.urs | |
| parent | aece9fdadf1bdfbf069cc5ac5ab397eef1e3f2ad (diff) | |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'lib/ur/top.urs')
0 files changed, 0 insertions, 0 deletions