aboutsummaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-05-08 14:48:41 +0000
committersimonmar <unknown>2002-05-08 14:48:41 +0000
commitdb23f65e1d2a82ac7d86c055cac66b35a3f68940 (patch)
tree9df9e7e323fbe4d8b8fa590eaa920de3c46057e8 /mk
parentcda064470606a73d9ed97644684a447791b627f5 (diff)
[haddock @ 2002-05-08 14:48:39 by simonmar]
Add support for existential quantifiers on constructors.
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions