diff options
author | Josh Chen | 2019-01-30 16:09:50 +0100 |
---|---|---|
committer | Josh Chen | 2019-01-30 16:09:50 +0100 |
commit | 843d53d64983593d765a203605cd2aab00ed8361 (patch) | |
tree | ac046a92b5bcf63a37dff553f369f4c22593290d /tests | |
parent | a245a3e2194b4d5a6e7fbac8fa10598e96307e57 (diff) |
Remove "constrained" notation for type families. Clean and document.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions