diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-22 20:02:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-22 20:02:53 +0000 |
| commit | d2988814a81a1f2100454fe0bccf5857feee4a00 (patch) | |
| tree | ce2cd6d65d759f30cdab5f1c079c2ab5fc7eb48a /examples/tutorial/smart/SmartEng.gf | |
| parent | 09da1013f9a14dfa672c8e1adea269fc337aa57c (diff) | |
add pretty printing rule for implicit patterns
Diffstat (limited to 'examples/tutorial/smart/SmartEng.gf')
0 files changed, 0 insertions, 0 deletions