diff options
| author | David Waern <david.waern@gmail.com> | 2008-07-28 12:29:27 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-07-28 12:29:27 +0000 |
| commit | 5770b12145f149b1add9173ea0c30d214f6a14d2 (patch) | |
| tree | c7b32f517aec67c29f8f97adef7ef192ecc87637 /examples/Bug10.hs | |
| parent | 255f21b652666514d73e0c7704c3f99aa89380fd (diff) | |
Support type equality predicates
Diffstat (limited to 'examples/Bug10.hs')
0 files changed, 0 insertions, 0 deletions