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 /Makefile | |
| parent | cda064470606a73d9ed97644684a447791b627f5 (diff) | |
[haddock @ 2002-05-08 14:48:39 by simonmar]
Add support for existential quantifiers on constructors.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions