diff options
author | 2009-10-20 10:29:17 -0400 | |
---|---|---|
committer | 2009-10-20 10:29:17 -0400 | |
commit | b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea (patch) | |
tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /demo/batch.urs | |
parent | aece9fdadf1bdfbf069cc5ac5ab397eef1e3f2ad (diff) |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'demo/batch.urs')
0 files changed, 0 insertions, 0 deletions