diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-11 11:00:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-11 11:00:31 +0100 |
| commit | 59957c2885732bb86e737ac9679a05c62189e022 (patch) | |
| tree | 562ae65942bd3aa5c87f2b03aaba0ea5b9b8343c /latex-test/src/GadtConstructorArgs | |
| parent | d1b7f181b60ba3ac191183f1512e66793d28ac08 (diff) | |
| parent | 7e8c7c3491f3e769368b8e6c767c62a33e996c80 (diff) | |
Merge pull request #1329 from hsyl20/hsyl20/stabe_iface
Stable sort for instances
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions