diff options
| author | Aleksey Kladov <[email protected]> | 2021-06-14 20:42:43 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-06-14 20:42:43 +0100 |
| commit | c2015e7d182f3cb2cebe686127dd6a3e683df9e6 (patch) | |
| tree | eb46a7d8ad5f0549fd79a51268d79859a1cb6c2d /.gitignore | |
| parent | 4cfc767d7fadeab025227d67f104065c9e8a55d3 (diff) | |
internal: more natural order of sources for TypeParam
We usually use first (left) variant of `Either` for "usual" case, and
use right for odd things. For example, pat source is Pat | SelfParam.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions