diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-02 19:32:14 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-02 20:47:48 -0500 |
commit | 866941628950af27f33b03311a8839570ed92eca (patch) | |
tree | f3b3a48bf0091e9c6445a575c5faa5bbfeef7af8 /.mailmap | |
parent | fe31c46e11df64da6a9c4741525e09952ba016cf (diff) |
Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a subtype of (Pair Real Real). Resolves bug #541.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions