diff options
author | simonmar <unknown> | 2002-05-08 14:48:41 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-05-08 14:48:41 +0000 |
commit | db23f65e1d2a82ac7d86c055cac66b35a3f68940 (patch) | |
tree | 9df9e7e323fbe4d8b8fa590eaa920de3c46057e8 /examples | |
parent | cda064470606a73d9ed97644684a447791b627f5 (diff) |
[haddock @ 2002-05-08 14:48:39 by simonmar]
Add support for existential quantifiers on constructors.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions