diff options
| author | Thomas Winant <thomas.winant@cs.kuleuven.be> | 2014-08-06 10:26:54 +0200 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-11-28 16:11:22 -0600 |
| commit | 1a9dcfef033dd66514015d4a942ba67d21f95482 (patch) | |
| tree | f0b19c268f65dd8e84112c4f22a81c9680628789 /.authorspellings | |
| parent | 5d8117d8f1f910c85d36865d646b65510b23583d (diff) | |
Support for PartialTypeSignatures
Diffstat (limited to '.authorspellings')
0 files changed, 0 insertions, 0 deletions