diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:19:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:19:00 -0400 |
| commit | eafb2bfc151efd5fe9a18dd5bba14141a1b832cf (patch) | |
| tree | 800ab89ca52c3ef6e7df0f9420292131459f0e47 /demo/batchFun.urs | |
| parent | 64783736b3c002c095640c0bf16b48994a44869c (diff) | |
Add tuple pattern-matching at the constructor level
Diffstat (limited to 'demo/batchFun.urs')
0 files changed, 0 insertions, 0 deletions