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 | 66fa98fe9619afa56b10f1357edb617dc813051c (patch) | |
| tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /lib/ur/top.urs | |
| parent | eafb2bfc151efd5fe9a18dd5bba14141a1b832cf (diff) | |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'lib/ur/top.urs')
0 files changed, 0 insertions, 0 deletions