diff options
author | Nadrieril | 2020-01-17 18:42:13 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-17 18:42:13 +0000 |
commit | 0f4a4801ed67826dc82015d39ce8fd05e7950035 (patch) | |
tree | f8393bb9e8abaccc8db0e1c17ae1d1a39b88ff7b /dhall/tests/type-errors/recordOfKind.txt | |
parent | ab672506fd45e33f60b1b962c4757f912b6e27be (diff) |
Replace all bulk shifting by a single shift
Diffstat (limited to 'dhall/tests/type-errors/recordOfKind.txt')
0 files changed, 0 insertions, 0 deletions